@INPROCEEDINGS{Sofronie-verify-06,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Autexier, Serge and Mantel, Heiko},
TITLE = {Local reasoning in verification},
BOOKTITLE = {Proceedings of VERIFY'06: Verification Workshop},
PUBLISHER = {-},
YEAR = {2006},
PAGES = {128--145},
ADDRESS = {Seattle, USA},
MONTH = {August},
}
Entry last modified by Viorica Sofronie-Stokkermans, 11/09/2006
Edit History (please click the blue arrow to see the details)
| Editor(s)
Viorica Sofronie-Stokkermans | Created
11/09/2006 04:24:05 PM |
Revisions
2.
1.
0.
| Editor(s)
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
| Edit Dates
11/09/2006 04:27:47 PM
11/09/2006 04:25:37 PM
11/09/2006 04:24:05 PM
|