Title: Proceedings of VERkshop III--a formal verification workshop, 18-21 February 1985, Pajaro Dunes Conference Center, Watsonville, California
First published: 1985
Subjects: Congresses, Verification, Computer programs