Author:
Behm Patrick,Burdy Lilian,Meynadier Jean -Marc
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Abrial J.R., The B Book (1996)
2. Barringer H., Cheng J.H., Jones C.B., A Logic Covering Undefinedness in Program Proofs; Acta Informatica 21:251–269 (1984)
3. Blikle A., Konikowska B., Tarlecki A., A Three Valued Logic for Software Specification and Validation; LNCS 328 (1988)
4. Cheng J.H., Jones C.B., On the Usability of Logics Which Handle Partial Functions; Proceedings of the Third Refinement Workshop 51–69 (1990)
5. Elvang-GØransson M., Owe O., A Simple Sequent Calculus for Partial Functions; TCS 114:317–330 (1993)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献