Verified Software Initiative: Embedded Systems

Project sponsored by UKIERI (2009--11)

Project Team: IISc

Project Team: York University

Talks and other material