ผู้เขียน: Heike Wehrheim

This book is dedicated to Professor Ernst–Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog’s contributions to the scientific community. It provi …

…

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009. The 21 revised full papers pre …

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in Ju …

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020 …