Title: Proceedings of the Nineteenth Annual Software Engineering Workshop
First published: 1994
Subjects: Conferences, Program verification (Computers), Software engineering, Software reliability