%0 Journal Article %1 journals/tcs/NaumannB06 %A Naumann, David A. %A Barnett, Michael %D 2006 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 143-168 %T Towards imperative modules: Reasoning about invariants and sharing of mutable state. %U http://dblp.uni-trier.de/db/journals/tcs/tcs365.html#NaumannB06 %V 365

@article{journals/tcs/NaumannB06, added-at = {2023-03-21T00:00:00.000+0100}, author = {Naumann, David A. and Barnett, Michael}, biburl = {https://www.bibsonomy.org/bibtex/21e6f3773bfdf1132f07ec99ff62309bc/dblp}, ee = {https://doi.org/10.1016/j.tcs.2006.07.035}, interhash = {d93268d3db11c55fd6a89b0ac092c32b}, intrahash = {1e6f3773bfdf1132f07ec99ff62309bc}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {143-168}, timestamp = {2024-04-08T18:42:24.000+0200}, title = {Towards imperative modules: Reasoning about invariants and sharing of mutable state.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs365.html#NaumannB06}, volume = 365, year = 2006 }