Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
August 27, 2013
Publication Date
December 20, 2011
Subject Category
Computer Programming And Software Meeting Information
Meeting: Howard-60: Higher Order Workshop on Automated Runtime Verification and Debugging
Location: Manchester
Country: United Kingdom
Start Date: December 20, 2011
Distribution Limits
Public
Keywords
programmingspecificationslanguage design