Embedded Deduction with ICS

Presented as part of the 2003 HCSS conference.

License: 
Creative Commons 2.5
Leonardo de Moura
Harald Ruess
John Rushby
Natarajan Shankar

Other available formats:

Embedded Deduction with ICS
Switch to experimental viewer