LIBRARY Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings 2020 · ENGLISH · PDF View details →
LIBRARY Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings 2021 · ENGLISH · PDF View details →
LIBRARY Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday 2018 · ENGLISH · PDF View details →