Author:
Queralt Anna,Teniente Ernest
Publisher
Springer International Publishing
Reference21 articles.
1. Adrion, W.R., Branstad, M.A., Cherniavsky, J.C.: Validation, Verification and Testing of Computer Software. ACM Comput. Surv. 14(2), 159–192 (1982)
2. Brucker, A.D., Wolff, B.: The HOL-OCL Book. Swiss Federal Institute of Technology (ETH), 525 (2006)
3. Lecture Notes in Computer Science;J. Cabot,2009
4. Lecture Notes in Computer Science;D. Costal,1996
5. Díaz, O., Paton, N.W., Iturrioz, J.: Formalizing and Validating Behavioral Models through the Event Calculus. Information Systems 23(3/4), 179–196 (1998)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献