Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic execution of high-level transformations;Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering;2016-10-20
2. Behavioral interface specification languages;ACM Computing Surveys;2012-06
3. Introduction;Rigorous Software Development;2011
4. Formal Modelling of a Microcontroller Instruction Set in B;Lecture Notes in Computer Science;2009
5. The Verification Grand Challenge and Abstract Interpretation;Verified Software: Theories, Tools, Experiments;2008