Author:
Hofmann Martin,Sannella Donald
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Modular correctness proofs of behavioural implementations;Bidoit,1995
2. M. Bidoit and R. Hennicker, Behavioural theories and the proof of behavioural properties, Theoret. Comput. Sci., to appear.
3. Behavioural and abstractor specifications;Bidoit;Sci. Comput. Programming,1995
4. M. Bidoit and A. Tarlecki, Behavioural satisfaction and equivalence in concrete model categories, in: Proc. 21st Coll. on Trees in Algebra and Programming, Linko¨ping, Lecture Notes in Computer Science, Vol. 1059 (Springer, Berlin) 241–256.
5. Verification in ASL and related specification languages;Farre´s-Casals,1992
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献