FME 2001 : Formal Methods for Increasing Software Productivity
de Jose N. Oliveira, Pamela Zave
Ediciones (1)
- FME 2001 : Formal Methods for Increasing Software Productivity (2003)
Springer London, Limited · inglés · ISBN 9783540452515
de Jose N. Oliveira, Pamela Zave
Springer London, Limited · inglés · ISBN 9783540452515