TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface
2019 ter Beek MH, ; Fantechi, A; Semini, L
Web Services and Formal Methods
2013 Ter Beek; M.H.; Lohmann; N.
Preface - Architecting Dependable Systems VI
2009 De Lemos R.; Fabre J.; Gacek C.; Gadducci F.; Ter Beek M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface | 1-gen-2019 | ter Beek MH, ; Fantechi, A; Semini, L | |
Web Services and Formal Methods | 1-gen-2013 | Ter Beek; M.H.; Lohmann; N. | |
Preface - Architecting Dependable Systems VI | 1-gen-2009 | De Lemos R.; Fabre J.; Gacek C.; Gadducci F.; Ter Beek M. |