DOI10.1007/BF02919427zbMath1041.68512MaRDI QIDQ1373855
Qiong Wu, Hong Mei, Bing Zhu, Fuqing Yang
Publication date: 3 April 1998 Published in: Science in China. Series E (Search for Journal in Brave)
Mathematics Subject Classification ID
General topics in the theory of software (68N01)