Strongest postcondition of unstructured programs

Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry. Strongest postcondition of unstructured programs. In Anindya Banerjee, editor, Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009. ACM, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.