Author:
Ahrendt Wolfgang,Bubel Richard,Hähnle Reiner
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Axelsson, E., Björk, M., Sheeran, M.: Teaching hardware description and verification. In: International Conference on Microelectronics Systems Education, Anaheim, CA, USA, pp. 119–120. IEEE Computer Society, Los Alamitos (2005)
3. Baum, M.: Debugging by visualizing of symbolic execution. Master’s thesis, Department of Computer Science, Institute for Theoretical Computer Science (June 2007)
4. Lecture Notes in Artificial Intelligence;B. Beckert,2007
5. Ben-Ari, M.: Principles of the Spin Model Checker. Springer, Heidelberg (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献