Jean-Chrysostome Bolot, Pankaj Jalote. Formal verification of programs with exceptions. In Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, FTCS 1989, Chicago, IL, USA, 21-23 June, 1989. pages 283-290, IEEE Computer Society, 1989. [doi]
No reviews for this publication, yet.