A Logic for Information Flow Analysis of Distributed Programs - (Extended Abstract)

Författare
Musard Balliu
Genre
Statlig publikation
Språk
Engelska
Förlag År Ort Om boken ISBN
KTH Royal Institute of Technology 2013 Sverige 19