David Cyrluk, Mandayam K. Srivas. Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 538, IEEE Computer Society, 1995. [doi]
Abstract is missing.