Metadata only
Author
Leino, K. Rustan M.
Müller, Peter
Date
2009Type
- Conference Paper
Altmetrics
Publication status
publishedEditor
Castagna, Giuseppe
Book title
Programming languages and systemsJournal / series
Lecture Notes in Computer ScienceVolume
Pages
Publisher
SpringerEvent
Organisational unit
03653 - Müller, Peter
Notes
.More
Show all metadata
Altmetrics