%0 Conference Paper %1 conf/sac/BackP11 %A Back, Ralph-Johan %A Preoteasa, Viorel %B SAC %D 2011 %E Chu, William C. %E Wong, W. Eric %E Palakal, Mathew J. %E Hung, Chih-Cheng %I ACM %K dblp %P 1658-1665 %T Semantics and proof rules of invariant based programs. %U http://dblp.uni-trier.de/db/conf/sac/sac2011.html#BackP11 %@ 978-1-4503-0113-8

@inproceedings{conf/sac/BackP11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Back, Ralph-Johan and Preoteasa, Viorel}, biburl = {https://www.bibsonomy.org/bibtex/27b9c3f910dfdd590bbc2e94067751a08/dblp}, booktitle = {SAC}, crossref = {conf/sac/2011}, editor = {Chu, William C. and Wong, W. Eric and Palakal, Mathew J. and Hung, Chih-Cheng}, ee = {https://doi.org/10.1145/1982185.1982532}, interhash = {896af67a3ff1d95125b6ee2883d3090f}, intrahash = {7b9c3f910dfdd590bbc2e94067751a08}, isbn = {978-1-4503-0113-8}, keywords = {dblp}, pages = {1658-1665}, publisher = {ACM}, timestamp = {2018-11-07T13:12:22.000+0100}, title = {Semantics and proof rules of invariant based programs.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2011.html#BackP11}, year = 2011 }