(1992). Formal methods in system design. Kluwer Academic Publishers.
Chicago Style (17th ed.) CitationFormal Methods in System Design. Netherlands: Kluwer Academic Publishers, 1992.
MLA (9th ed.) CitationFormal Methods in System Design. Kluwer Academic Publishers, 1992.
Warning: These citations may not always be 100% accurate.