Logics of Programs Workshop, Yorktown Heights, New York, May 1981 /

Bibliographic Details
Corporate Author:	Logics of Programs Workshop Yorktown Heights, N.Y.
Other Authors:	Kozen, Dexter, 1951-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 131.
Subjects:	Computer programming > Congresses.

Remote Storage