Author:
Aichernig Bernhard K.,Brandl Harald,Jöbstl Elisabeth,Krenn Willibald
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)
2. Lecture Notes in Computer Science;B.K. Aichernig,2009
3. Lecture Notes in Computer Science;B.K. Aichernig,2006
4. Aichernig, B.K., He, J.: Mutation testing in UTP. Formal Aspects of Computing Journal 21(1-2), 33–64 (2009)
5. Back, R.-J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, Montreal, Quebec, Canada, pp. 131–142. ACM, New York (1983)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献