Practical Reasoning About Invocations and Implementations of Pure Methods - Research Collection

Metadata only

Author

Leino, K. Rustan M.

Date

2007

Type

Conference Paper

Citations

Cited 20 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

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

More

Show all metadata

Citations

Cited 20 times in Web of Science

ETH Bibliography

yes

Altmetrics