Author:
de Putter Sander,Wijs Anton,Zhang Dan
Publisher
Springer International Publishing
Reference28 articles.
1. Abrial, J.R., Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Lecture Notes in Computer Science;S Andova,2012
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Lecture Notes in Computer Science;S Blom,2017
5. Bourke, T., Brun, L., Dagand, P.E., Leroy, X., Pouzet, M., Rieg, L.: A formally verified compiler for lustre. In: PLDI, pp. 586–601. ACM SIGPLAN Notices. ACM, New York (2017)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献