Author:
Abrial Jean-Raymond,Cansell Dominique,Laffitte Guy
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. J.R. Abrial. The B-Book:Assigning Programs to Meanings. Cambridge University Press (1996).
2. N. Bourbaki. Théorie des ensembles. Hermann, Paris, 1970.
3. S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert PVS language reference version 2.3. Technical report, SRI International, September 1999.
4. L. C. Paulson and K. Grabczewski. Mechanizing set theory: Cardinal arithmetic and the axiom of choice. Journal of Automated Reasoning, 17(3):291–323, December 1996.
5. Markus Wenzel. Using axiomatic type classes in Isabelle. part of the Isabelle distribution. Technical report, TU München, February 2001.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Introducing Inductive Construction in B with the Theory Plugin;Rigorous State-Based Methods;2023
2. B Tools;Formal Methods Applied to Complex Systems;2014-07-22
3. Practical Theory Extension in Event-B;Theories of Programming and Formal Methods;2013
4. Validating and Animating Higher-Order Recursive Functions in B;Rigorous Methods for Software Construction and Analysis;2009
5. The event-B Modelling Method: Concepts and Case Studies;Logics of Specification Languages;2007-12-05