Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Artho, Cyrille (Eidgenoessische Technische Hochschule Zurich, Switzerland) Drusinsky, Doron (Naval Postgraduate School Monterey, CA United States) Goldberg, Allen (Kestrel Technology, LLC Moffett Field, CA United States) Havelund, Klaus (Kestrel Technology, LLC Moffett Field, CA United States) Lowry, Mike (NASA Ames Research Center Moffett Field, CA United States) Pasareanu, Corina (Kestrel Technology, LLC Moffett Field, CA United States) Rosu, Grigore (Illinois Univ. Urbana-Champaign, IL United States) Visser, Willem (Research Inst. for Advanced Computer Science Moffett Field, CA United States) Date Acquired
September 7, 2013
Publication Date
January 1, 2003
Subject Category
Computer Programming And Software Meeting Information
Meeting: 10th International Workshop on Abstract State Machines
Location: Taormina
Country: Italy
Start Date: March 3, 2003
End Date: March 7, 2003
Distribution Limits
Public
Copyright
Public Use Permitted.