Gaya APA

service), S, (. et al (). Formal Methods in Software and Systems Modeling (1st ed. 2005.). : .

Gaya MLA

service), SpringerLink, (Online. et al. "Formal Methods in Software and Systems Modeling". 1st ed. 2005. : , . E Book.