(Eds)

Latest

• Active Object Languages: Current Research Trends
• The Logic of Software. A Tasting Menu of Formal Methods
• Proc. 25th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2022)
• Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)
• Proc. 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC 2017)
• Proc. 11th International Conference on Tests and Proofs (TAP 2017)
• Proc. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing (ESOCC 2016)
• Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
• Advanced Lectures on Formal Methods for Multicore Programming
• Advanced Lectures on Formal Methods for Executable Software Models
• Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)
• The 19th Nordic Workshop on Programming Theory (NWPT 2007)
• Distributed Computing Techniques. Selected papers from FMOODS'07 and COORDINATION'07
• Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).