Merkliste 
 1 Ergebnisse 
 
1

A Formally Verified Model of Web Components:

, In: Lecture Notes in Computer Science; Formal Aspects of Component Software,
Brucker, Achim D. ; Herzberg, Michael - p. 51-71 , 2020