Book

Active Object Languages: Current Research Trends
LNCS 14360, Springer 2024.
Cite DOI
Active Object Languages: Current Research Trends
The Logic of Software. A Tasting Menu of Formal Methods
LNCS 13360, Springer 2022.
Cite DOI
The Logic of Software. A Tasting Menu of Formal Methods
Proc. 25th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2022)
LNCS 13241, Springer 2022.
Cite DOI
Proc. 25th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2022)
Proc. 16th Intl. Conf. on Software Engineering and Formal Methods (SEFM 2018)
Springer LNCS 10886
Cite DOI
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)
Springer LNCS 10465
Cite DOI
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)
Springer LNCS 10375
Cite DOI
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)
Cite DOI
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
Springer LNCS 9660
Cite DOI
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
SFM 2015
Cite Project DOI
Advanced Lectures on Formal Methods for Multicore Programming
Advanced Lectures on Formal Methods for Executable Software Models
Springer LNCS 8483
Cite Project DOI
Advanced Lectures on Formal Methods for Executable Software Models
Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)
LNCS 7940
Cite DOI
Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)
Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).
LNCS 4468. © Springer 2007
Cite DOI
Proc. 9th Intl. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07).