Wastelands Conferencing Assignment - Using Spec# for formal specifications