Generating Proof-Specific Strategies for PVS
Workshop, Design and application of strategies / tactics in higher order logics ; 2003 ; Rome
01.01.2003
12 pages
Known as STRATA 2003
Aufsatz (Konferenz)
Englisch
© 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
Europäisches Patentamt | 2016
|