Silvia T. Acuna;Natalia Juristo
-;-
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology