Books

Concurrency, Specification and Programming
H. Schlingloff, T. Vogel, and A. Skowron (eds)
In Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming
Abstract:
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing… Read more

Software Engineering and Formal Methods.
H. Schlingloff, M. Chai (eds)
In Proc. of 20th International Conference (SEFM 2022)
Abstract:
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 shor… Read more