Publication Date:
1997
Short description:
(1997). Providing automated support to deductive analysis of time critical systems [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27261
Iris type:
1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
List of contributors:
Alborghetti, Andrea; Gargantini, Angelo Michele; Morzenti, Angelo
Book title:
Software Engineering — ESEC/FSE'97
Published in: