Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Cavalcanti, A., Woodcock, J.: A weakest-precondition semantics for Z. The Computer Journal 41(1), 663–675 (1998)
3. Lecture Notes in Computer Science;M. Deutsch,2003
4. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall International, Englewood Cliffs (1976)
5. Lecture Notes in Computer Science;S.E. Dunne,2002
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献