Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

Catherine Dubois, Pierluigi San Pietro, 3031275330, 9783031275333