A Formally Verified Model of Web Components

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_3 ◽

2020 ◽

pp. 51-71

Author(s):

Achim D. Brucker ◽

Michael Herzberg

Download Full-text