Theoretical Aspects of Computing - ICTAC 2024Chutiporn Anutariya, Marcello M. Bonsangue · First published 2024Open the Tome
Data Science and Artificial IntelligenceChutiporn Anutariya, Marcello M. Bonsangue · First published 2023Open the Tome
Formal Methods for Components and ObjectsFrank S. De Boer,Marcello M. Bonsangue,Stefan Hallerstede · First published 2011Open the Tome
Formal Methods for Open Object-Based Distributed SystemsMarcello M. Bonsangue,Einar Broch Johnsen · First published 2008Open the Tome
Formal Methods for Open Object-Based Distributed SystemsMarcello M. Bonsangue, Einar Broch Johnsen · First published 2007Open the Tome
Formal methods for components and objectsMarcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · First published 2006Open the Tome
Formal methods for components and objectsFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever · First published 2004Open the Tome
