Software Engineering and Formal Methods More Books by Frank de Boer & Antonio Cerone

Active Object Languages: Current Research Trends

2024

It's All About Coordination

2018