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