The Tecton Proof System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Deepak Kapur, David R. Musser, Xumin Nie. The Tecton Proof System. In Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri, editors, Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Workshops in Computing, pages 54-79, Springer, 1992.

This author has not been identified. Look up 'Deepak Kapur' in GoogleThis author has not been identified. Look up 'David R. Musser' in GoogleThis author has not been identified. Look up 'Xumin Nie' in Google

runs on WebDSL