Writing PVS Proof Strategies
Workshop, Design and application of strategies / tactics in higher order logics ; 2003 ; Rome
2003-01-01
15 pages
Known as STRATA 2003
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Proof Strategies for Hardware Verification
British Library Conference Proceedings | 1996
|Generating Proof-Specific Strategies for PVS
British Library Conference Proceedings | 2003
|The effects of adapting a writing course to students' writing strategies
Online Contents | 2007
|Strategies for Writing Effectively About Science and Technology
British Library Online Contents | 1995
|