Disappearing Formal Methods

Presented as part of the 2001 HCSS conference.

License: 
Creative Commons 2.5
John Rushby

Other available formats:

Disappearing Formal Methods
Switch to experimental viewer