Penulis: Erika Abraham

‘Go for it, Mom!’ With those words of encouragement, Erika Abraham began a long running journey defined by dozens of years; thousands of miles; countless trophies, medals, and other awards; and many, …

This bookconstitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this volu …

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in A …

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in Ju …

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented togeth …

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.T …

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4-8, 2023.The 20 full paper …

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short …