Papers

Alastair F. Donaldson, Alice Miller. Evaluating a Formal Methods Technique via Student Assessed Exercises. In Proceedings of the FM 2006 Workshop on Formal Methods in the Teaching Lab, pages 93-100. 2006.

Bibtex:

@inproceedings{DonaldsonM_FMEd2006,
   title      = {Evaluating a Formal Methods Technique via Student
                 Assessed Exercises},
   author     = {Alastair F. Donaldson and Alice Miller},
   booktitle  = {Proceedings of the FM 2006 Workshop on Formal
                 Methods in the Teaching Lab},
   pages      = {93-100},
   year       = {2006}
}