Practical Reasoning About Invocations and Implementations of Pure Methods

Thumbnail
Metadata only
Author
Darvas, Adam
Leino, K. Rustan M.
Date
2007
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
Fundamental Approaches to Software Engineering
Journal / series
Lecture Notes in Computer Science
Volume
4422
Pages / Article No.
336 - 351
Publisher
Springer
Event
10th International Conference on Fundamental Approaches to Software Engineering, Braga, Portugal, March 24-April 01, 2007
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics