Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'David Cyrluk' in GoogleThis author has not been identified. Look up 'Mandayam K. Srivas' in Google

runs on WebDSL