PVS - design for a practical verification system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Charles H. Applebaum, James G. Williams. PVS - design for a practical verification system. In Richard L. Muller, James J. Pottmyer, editors, Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. pages 58-68, ACM, 1984. [doi]

This author has not been identified. Look up 'Charles H. Applebaum' in GoogleThis author has not been identified. Look up 'James G. Williams' in Google

runs on WebDSL