You can submit this task online or view your submission status if you are a part of this course when you login to WebCMS3.
Submit your PID as a pdf file, and possibly Dafny programs
Resource created Monday 25 April 2016, 10:50:06 AM, last modified Wednesday 01 June 2016, 01:13:48 PM.
website: https://www.cse.unsw.edu.au/~se2011/16s1/project/vampire.pdf
If the above does not display, view it directly in your browser.