LARA Homework 03 Theoretical homework Deadline: March 25, 2012 (midnight) Homework 3 - Hoare Logic Please type up your solution and submit it through Moodle. Practical homework Deadline: March 25th, midnight Part 3