| 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