Author:
Dubois Catherine,Prevosto Virgile,Burel Guillaume
Publisher
Springer International Publishing
Reference19 articles.
1. Abrial, J.: The B-Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Barendregt, H.: Introduction to generalized type systems. J. Funct. Program. 1(2), 125–154 (1991)
4. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. Math. Struct. Comput. Sci. 21(6), 1207–1252 (2011)
5. Bechtold, S., Brannen, S., Link, J., Merdes, M., Philipp, M., Stein, C.: J Unit 5 User Guide.
https://junit.org/junit5/docs/current/user-guide/
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Teaching Formal Methods for 10 Years: Reflections on theories, tools, materials, and communities;Lecture Notes in Computer Science;2024
2. Introducing GitHub Classroom into a Formal Methods Module;Lecture Notes in Computer Science;2024
3. Ivette: A Modern GUI for Frama-C;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023
4. Teaching Interactive Proofs to Mathematicians;Electronic Proceedings in Theoretical Computer Science;2020-10-30