Gaya APA

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

Gaya MLA

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