Template-based construction of verified software
D. Hemer, P. A. Lindsay
págs. 2-14
págs. 15-28
Taxonomy-based software construction of SPARE Time: a case study
L. Cleophas, B. W. Watson
págs. 29-37
R. Hirschfeld
págs. 38-52
© 2001-2024 Fundación Dialnet · Todos los derechos reservados