B. L. Di Vito
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Manip: A PVS Prover Strategy Package for Common Manipulations
B. L. Di Vito (2002) · NASA Langley Research Center, Hampton, VA, 2002. availanle at http://shemesh.larc.nasa.gov/fm/ftp/larc/PVSlibrary/pvslib.html