MLA

Formal Methods In System Design. UNITED STATES: Hybrid, .

APA

formal Methods in System design. UNITED STATES: Hybrid.

Chicago

Formal Methods In System Design. UNITED STATES: Hybrid.