Formal Techniques for Distributed Objects, Components, and Systems

Book title Buchtitel
Formal Techniques for Distributed Objects, Components, and Systems
 
Publisher Herausgeber
Springer
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sjösten, Alexander ; Hedin, Daniel ; Sabelfeld, Andrei Information Flow Tracking for Side-Effectful LibrariesKonferenzbeitrag Inproceedings 2018