Specifying and Model Checking Workflows of Single Page Applications with TLA+

Veranstaltungsbeitrag › Vortrag › 2020

Veranstaltung

2020 IEEE International Workshop on Software Engineering and Knowledge Management (SEKM 2020)
Online, 13.12.2020