Publication Date:
2003
abstract:
no avaible
Iris type:
03.12 Curatela di monografia/trattato scientifico
Keywords:
Formal Methods
List of contributors: