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 proceedingConference contribution

Original languageUndefined/Unknown
Title of host publication5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA
StatePublished - 2011

Cite this

Hardin, D., Slind, K., Whalen, M., & Pham, T-H. (2011). Introduction to the Guardol programming language and verification system. In 5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA

Introduction to the Guardol programming language and verification system. / Hardin, David; Slind, Konrad; Whalen, Michael; Pham, Tuan-Hung.

5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA. 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardin, D, Slind, K, Whalen, M & Pham, T-H 2011, Introduction to the Guardol programming language and verification system. in 5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA.
Hardin D, Slind K, Whalen M, Pham T-H. Introduction to the Guardol programming language and verification system. In 5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA. 2011
Hardin, David ; Slind, Konrad ; Whalen, Michael ; Pham, Tuan-Hung. / Introduction to the Guardol programming language and verification system. 5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA. 2011.
@inproceedings{8bbe8f9c715d41f39d0d1971e0a44e6d,
title = "Introduction to the Guardol programming language and verification system",
author = "David Hardin and Konrad Slind and Michael Whalen and Tuan-Hung Pham",
year = "2011",
language = "Undefined/Unknown",
booktitle = "5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA",

}

TY - GEN

T1 - Introduction to the Guardol programming language and verification system

AU - Hardin, David

AU - Slind, Konrad

AU - Whalen, Michael

AU - Pham, Tuan-Hung

PY - 2011

Y1 - 2011

M3 - Conference contribution

BT - 5th Annual Layered Assurance Workshop (LAW 2011), Orlando, FL, USA

ER -