Author:
Ferrarotti Flavio,González Senén,Schewe Klaus-Dieter,Turull-Torres José María
Publisher
Springer International Publishing
Reference26 articles.
1. Abrial, J.R.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science;FN Abu-Khzam,2003
4. Beaudry, M., McKenzie, P.: Circuits, matrices, and nonassociative computation. In: Proceedings of the Seventh Annual Structure in Complexity Theory Conference, pp. 94–106 (1992)
5. Blass, A., Gurevich, Y.: Background of computation. Bull. EATCS 92, 82–114 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献