Software Specification

A Comparison of Formal Methods

By (author) Marvin V. Zelkowitz, Jim Purtilo, John D. Gannon

Publication date:

01 May 1995

Publisher

Intellect Books

ISBN-13: 9781567500332