PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Mazzanti F., Trentanni G. iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session. In: iFM 2012 + ABZ 2012 Joint Conference - Posters and Tool Demo Session. Editorial, pp. 1 - 64. CNR-ISTI, 2012.
 
 
Abstract
(English)
Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012
Abstract
(Italiano)
Sottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012
Subject tools for formal analysis and verification
formal methods
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional