Semantics and proof rules of invariant based programs
| Title: | Semantics and proof rules of invariant based programs |
|---|---|
| Authors: | Back, Ralph-Johan; Preoteasa, Viorel |
| Source: | Proceedings of the 2011 ACM Symposium on Applied Computing. :1658-1665 |
| Availability: | http://dl.acm.org/doi/10.1145/1982185.1982532 |
| Database: | ACM Full-Text Collection |