Author:
Freitas Leo,Whiteside Iain
Publisher
Springer International Publishing
Reference37 articles.
1. Abrial, J.-R.: The Event-B book. Cambridge University Press, UK (2010)
2. Alexander, C., Ishikawa, S., Silverstein, M.: A Pattern Language: Towns, Buildings, Construction (Center for Environmental Structure Series). Oxford University Press (August 1977) (later printing edition)
3. Budinsky, F.J., Finnie, M.A., Vlissides, J., Yu, P.: Automatic code generation from design patterns. IBM Systems Journal 35(2), 151–171 (1996)
4. Lecture Notes in Computer Science;A. Bundy,1988
5. Bundy, A., Basin, D., Hutter, D., Ireland, A.: Rippling: Meta-level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press (2005)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Graphical Representation of Verification Proof Plans;Lecture Notes in Computer Science;2024
2. The Tinker tool for graphical tactic development;International Journal on Software Tools for Technology Transfer;2017-03-17
3. Proving Event-B Models with Reusable Generic Lemmas;Formal Methods and Software Engineering;2016
4. Mechanised Verification Patterns for Dafny;FM 2016: Formal Methods;2016
5. Nudging for Quantitative Access Control Systems;Lecture Notes in Computer Science;2014