A blocks-based language for program correctness proofs

Authors

Peter-Michael Osera
David Wonnacott, Haverford CollegeFollow

Document Type

Conference Proceeding

Role

Author

Published In

Proceedings of the 2017 IEEE Blocks and Beyond Workshop

First Page

49

Last Page

52

Publication Date

2017

Suggested Citation

Osera, P-M; Wonnacott, D. (2017). "A blocks-based language for program correctness proofs." Proceedings of the 2017 IEEE Blocks and Beyond Workshop: 49-52.