FM 03 Tutorial Notes

Edited Book

Publication Date:

2003

abstract:

no avaible

Iris type:

03.12 Curatela di monografia/trattato scientifico

Keywords:

Formal Methods

List of contributors:

Massink, Mieke

Authors of the University:

MASSINK MIEKE

Handle:

https://iris.cnr.it/handle/20.500.14243/185275