Gaya APA

Integrated Formal Methods. (). : .

Gaya MLA

Integrated Formal Methods. 1st ed. 2005.. : , . E Book.