Gaya APA
Formal Methods and Software Engineering
.
().
:
.
Gaya MLA
Formal Methods and Software Engineering
.
1st ed. 2005..
:
,
.
E Book.