VERkshop (3rd 1985 Watsonville, Calif.)

• Proceedings of VERkshop III--a formal verification workshop, 18-21 February 1985, Pajaro Dunes Conference Center, Watsonville, California