Generating Proof-Specific Strategies for PVS
Workshop, Design and application of strategies / tactics in higher order logics ; 2003 ; Rome
2003-01-01
12 pages
Known as STRATA 2003
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2003
|Proof Strategies for Hardware Verification
British Library Conference Proceedings | 1996
|Emerald Group Publishing | 2008
Mounting structure and method of specific vehicle bullet-proof glass
European Patent Office | 2016
|