Merkliste 
 1 Ergebnisse 
 
1

Towards a program logic for JavaScript:

, In: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,