APA Style
Margaria, Tiziana, Steffen, Bernhard. (2010).
Leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, crete, greece, october 2010, proceedings, part I .
Germany:
.
Chicago Style
Margaria, Tiziana, Steffen, Bernhard.
Leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, crete, greece, october 2010, proceedings, part I.
Germany:
,
2010.
E-Book.
MLA Style
Margaria, Tiziana, Steffen, Bernhard.
Leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, crete, greece, october 2010, proceedings, part I.
Germany:
,
2010.
E-Book.
Turabian Style
Margaria, Tiziana, Steffen, Bernhard.
Leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, crete, greece, october 2010, proceedings, part I.
Germany:
,
2010.
E-Book.