Publication Date:
2007
abstract:
Model checker prototipale per il linguaggio di specifica COWS, sviluppato nell'ambito del progetto Sensoria
Iris type:
05.11 Software
Keywords:
Model cheker; Socl logic; COWS
List of contributors: