A Pvs Prover Strategy Package for Common Manipulations

Bok av National Aeronautics and Space Adm Nasa