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
Search via SFX
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, England, March 22-29, 2009
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics