PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Nico P. 4th FME Workshop on Formal Methods in Software Engineering Procedings. In: 4th FME Workshop on Formal Methods in Software Engineering. Editorial, pp. vii - vii. ACM, 2016.
 
 
Abstract
(English)
FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organised by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering).
URL: http://dl.acm.org/citation.cfm?id=2897667&picked=prox
Subject Formal Methods
Software engneering
D.2.4 SOFTWARE ENGINEERING. 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