Original language | Undefined/Unknown |
---|---|
Title of host publication | 5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA |
State | Published - 2011 |
Introduction to the Guardol programming language and verification system
David Hardin, Konrad Slind, Michael Whalen, Tuan-Hung Pham
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution