Formal Methods in System Design. Springer US.
Chicago Style (17th ed.) CitationFormal Methods in System Design. Springer US.
MLA (9th ed.) CitationFormal Methods in System Design. Springer US.
Warning: These citations may not always be 100% accurate.