Author:
Faivre Alain,Gaston Christophe,Le Gall Pascale,Touil Assia
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Computer Science;A. Faivre,2007
2. Lecture Notes in Computer Science;C. Gaston,2006
3. Gorrieri, R., Rensink, A.: Handbook of process algebra. In: Ch. Action refinement, pp. 1047–1147. Elsevier, Amsterdam (2001)
4. King, J.-C.: A new approach to program testing. In: Proceedings of the international conference on Reliable software, Los Angeles, California, vol. 21-23, pp. 228–233 (1975)
5. Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of abstract data types. John Wiley & Sons, Inc., New York (1997)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献