Robust Computer System Proofs in PVS
Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA
01.01.1997
8 pages
Also known as LFM 97
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Computer-assisted proofs of special function identities related to Poisson integrals
British Library Online Contents | 2009
|Crashworthiness litigation:principles and proofs
Kraftfahrwesen | 1990
|Constructive analysis and computer-certified formal proofs for selected control-theoretical aspects
TIBKAT | 2025
|Crashworthiness Litigation: Principles and Proofs
SAE | 1990
|