This volume contains the proceedings of FM 2003, the 12th international formal Methods Europesymposium which was held in Pisa, Italy, on September 8-14, 2003.
FME 2003: Formal methods
MANDRIOLI, DINO
2003-01-01
Abstract
This volume contains the proceedings of FM 2003, the 12th international formal Methods Europesymposium which was held in Pisa, Italy, on September 8-14, 2003.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.