APA Style
Almeida, Jose B., Frade, Maria J, Pinto, Jorge S.. (2011).
Rigorous soft development : an introduction program verification .
London:
.
Chicago Style
Almeida, Jose B., Frade, Maria J, Pinto, Jorge S..
Rigorous soft development : an introduction program verification.
London:
,
2011.
E-Book.
MLA Style
Almeida, Jose B., Frade, Maria J, Pinto, Jorge S..
Rigorous soft development : an introduction program verification.
London:
,
2011.
E-Book.
Turabian Style
Almeida, Jose B., Frade, Maria J, Pinto, Jorge S..
Rigorous soft development : an introduction program verification.
London:
,
2011.
E-Book.