Publication Date:
2016
abstract:
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).
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
Formal Methods; Software engneering
List of contributors: