zbMath1092.68551MaRDI QIDQ4466813
Yu Liu, Shikun Zhang, Fuqing Yang, Lifu Wang
Publication date: 8 June 2004
Mathematics Subject Classification ID
General topics in the theory of software (68N01)