Author:
Jacob T Schwartz
Title:
A survey of program proof technology
Publisher:
New York: Courant Institute of Mathematical Sciences, New York University
Contributor: New York University, Institute of Fine Arts Library
Collection: newyorkuniversity
Format:
txt
Size: 25 kb