Gaya APA

service), S, (. et al (). Integrated Formal Methods (1st ed. 2005.). : .

Gaya MLA

service), SpringerLink, (Online. et al. "Integrated Formal Methods". 1st ed. 2005. : , . E Book.