Model Checking with Abstraction for Web Services

Dettagli Bibliografici
Autori principali: Sharygina, N, Kroening, D
Altri autori: Baresi, L
Natura: Libro
Pubblicazione: 2007