Books listed by ISBN
>
Springer
> Simão Melo de Sousa
Simão Melo de Sousa
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Rigorous Software Development: An Introduction to Program Verification
978-O-85729-O17-5
(O-85729-O17-7)
2011
José Bacelar Almeida · Maria João Frade · Jorge Sousa Pinto
D S
·
M.D
·
M. de)
·
M S.
·
S D
·
S M
·
S.M.S.
·
S S
Simard Marc Laville Christian