Home » Publication » 14323

Dettaglio pubblicazione

2016, Web Services, Formal Methods, and Behavioral Types, Pages XI- (volume: 9421)

Verification of data-aware processes (04d Abstract in atti di convegno)

DE GIACOMO Giuseppe

ISBN: 9783319336114
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma