Proceedings of VERkshop III--a formal verification workshop, 18-21 February 1985, Pajaro Dunes Conference Center, Watsonville, California.
Series: Software engineering notes -- v. 10, no. 4 (Aug. 1985)
Publisher: ACM Special Interest Group on Software Engineering
Published: 1985
Place of publication: New York, NY
Language: eng
Number of pages: 136
Subjects: Computer programs -- Verification -- Congresses
Genres: Congresses.
Notes: "ACM order number: 592851"--T.p. verso.

Includes bibliographies.