Simon Bainbridge, Albert John Camilleri, Roger Fleming. Industrial Application of Theorem Proving to System Level Design. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 130-142, IEEE Computer Society, 1991.
No references recorded for this publication.
No citations of this publication recorded.