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 9 years ago, last modified 9 years ago.
website: https://www.cse.unsw.edu.au/~se2011/16s1/project/vampire.pdf
If the above does not display, view it directly in your browser.