vFaat: von Neumann Formal Analysis and Annotation Tool

Presented as part of the 2003 HCSS conference.

License: 
Creative Commons 2.5
David Greve
Matthew Wilding

Other available formats:

vFaat: von Neumann Formal Analysis and Annotation Tool
Switch to experimental viewer