LARA

Exercises 03

  • Homework analysis
  • Finding basic paths and finding verification conditions, playing with PiVC and Jahob