J. Crow

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.

A tutorial introduction to PVS

J. Crow and others (1995) · Presented at WIFT ’95: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, April 1995. Available, with specification files, at http://www.csl.sri.com/wift-tutorial.html