A Test Environment for High Integrity Software Development

Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano

In Jean-Pierre Rosen and Alfred Strohmeier (ed.),
Reliable Software Technologies, Ada-Europe 2003
Springer-Verlag. LNCS no. 2655, pp. 359-367 (2003).
ISBN 3-540-403760.

BibTeX

@inproceedings{Alonso&03a,
   author = {Alejandro Alonso and Juan Antonio de la Puente and Juan Zamorano},
   title = {A Test Environment for High Integrity Software Development},
   editor = {Jean-Pierre Rosen and Alfred Strohmeier},
   booktitle = {Reliable Software Technologies, Ada-Europe 2003},
   publisher = {Springer-Verlag},
   series = {LNCS},
   number = {2655},
   pages = {359--367},
   year = {2003},
   note = {ISBN 3-540-403760}
  }
  
  

Download PDF