Specifying and Model Checking Workflows of Single Page Applications with TLA+
Veranstaltungsbeitrag › Vortrag › 2020
Veranstaltung
Online, 13.12.2020
2020 IEEE International Workshop on Software Engineering and Knowledge Management (SEKM 2020)
Online, 13.12.2020