Author:
Hawkins Richard,Miyazawa Alvaro,Cavalcanti Ana,Kelly Tim,Rowlands John
Publisher
Springer International Publishing
Reference21 articles.
1. ISO/IEC 13568:2002. Information technology—Z formal specification notation—syntax, type system and semantics. International Standard
2. Lecture Notes in Computer Science;G. Barthe,2007
3. Cavalcanti, A.L.C., King, S., O’Halloran, C., Woodcock, J.C.P.: Test-Data Generation for Control Coverage by Proof. In: Formal Aspects of Computing (2013), doi:10.1007/s00165-013-0279-2 (online first)
4. Cavalcanti, A.L.C., Woodcock, J.C.P.: A Weakest Precondition Semantics for Circus. In: Communicating Processing Architectures 2002. IOS Press (2002)
5. Lecture Notes in Computer Science;E. Cohen,2009
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献