Proof strategies and automated advice: A proof format for education-oriented computer systems | IEEE Conference Publication | IEEE Xplore