G. Delzanno, S. Etalle, M. Gabbrielli (2006). Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 6(3), 225-226 [10.1017/S1471068406002638].
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
GABBRIELLI, MAURIZIO
2006
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.