Funder
EPSRC
Royal Academy of Engineering
Reference80 articles.
1. The B-Book: Assigning Programs to Meanings;Abrial,1996
2. The Verisoft approach to systems verification;Alkassar,2008
3. Building program construction and verification tools from algebraic principles;Armstrong;Form. Asp. Comput.,2015
4. An algebraic treatment of procedure refinement to support mechanical verification;Back;Form. Asp. Comput.,2005
5. Refinement concepts formalised in higher order logic;Back;Form. Asp. Comput.,1990
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献