Formal verification of programs with exceptions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jean-Chrysostome Bolot' in GoogleThis author has not been identified. Look up 'Pankaj Jalote' in Google

runs on WebDSL