Author:
Hoare Tony,Struth Georg,Woodcock Jim
Publisher
Springer International Publishing
Reference80 articles.
1. Armstrong, A., Gomes, V.B.F., Struth, G.: Building program construction and verification tools from algebraic principles. Formal Asp. Comput. 28(2), 265–293 (2016)
2. Lecture Notes in Computer Science;RJR Back,1989
3. Bertot, Y., Castran, P.: Interactive Theorem Proving and Program Development: Coq’Art The Calculus of Inductive Constructions. Springer, Heidelberg (2010)
4. Lecture Notes in Computer Science;A Bove,2009
5. Cavalcanti, A., Sampaio, A., Woodcock, J.: Unifying classes and processes. Softw. Syst. Model. 4(3), 277–296 (2005)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献