Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude 2017 · ENGLISH · PDF View details →
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers 2013 · ENGLISH · PDF View details →
