The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software...
This book constitutes the refereed proceedings of the First International Conference on the Found...
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodol...
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...
This volume contains the papers selected for presentation atthe Second International Conferen...
Specification and top down design of distributed systems.- Specification languages for distribute...
On the relevance of formal methods to software development.- Combining algebraic and predicative ...
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (...