Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) VanWyk, Eric (Minnesota Univ. Minneapolis, MN, United States) Date Acquired
August 25, 2013
Publication Date
April 1, 2008
Subject Category
Computer Programming And Software Meeting Information
Meeting: 3rd Domain-Specific Aspect Languages Workshop
Location: Brussels
Country: Belgium
Start Date: April 1, 2008
Distribution Limits
Public
Keywords
runtime verificationsaspect oriented programmingstate machines