skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Modular verification of abstract software descriptions

Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular verification of abstract software descriptions", First Conference on the PRInciples of Software Engineering (PRISE'04), Buenos Aires, pp. 61-70, 2004.