Share this page
Live Favorites
Digg
del.icio.us
ma.gnolia
Newsvine
Facebook
Projects
Publications
People
Downloads
Home
Our Research
Collaboration
Careers
Worldwide Labs
Research Areas
Research Groups
Project Tuva Enhanced Video Player
Watch the Feynman Lectures
>
Publications
>
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State
David A. Naumann and Mike Barnett
2004
In:
Logic in Computer Science (LICS)
Publisher:
IEEE
Details
Type:
Inproceedings
Pages:
313–323
Related People
Mike Barnett