Teaching Formal Methods Using Magic Tricks (2013)

First Author: Curzon P
Attributed to:  Securing the Future: Expanding the cs4fn (Computer Science for Fun) Project funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.chi-med.ac.uk/publicdocs/WP122.pdf

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Fun with Formal Methods, A Workshop at the 25th International Conference on Computer Aided Verification