The IC0901 meeting co-located with International Conference on Formal Verification of Object-Oriented Software and International Symposia on Formal Methods for Components and Objects
Organizing chair - Second 2011 RICH MODEL TOOLKIT Meeting
PAOLINI, LUCA LUIGI
2011-01-01
Abstract
The IC0901 meeting co-located with International Conference on Formal Verification of Object-Oriented Software and International Symposia on Formal Methods for Components and Objects
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.
