A Basis for Verifying Multi-threaded Programs

Thumbnail
Metadata only
Author
Leino, K. Rustan M.
Müller, Peter
Date
2009
Type
    Conference Paper
Publication status
published
External links
Editor
Castagna, Giuseppe
Book title
Programming languages and systems
Journal / series
Lecture Notes in Computer Science
Volume
5502
Pages / Article No.
378 - 393
Publisher
Springer
Event
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software, York, United Kingdom, March 22-29, 2009
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics