Program Transformation for Development, Verification, and Synthesis of Programs
Intelligenza Artificiale - Netherlands
doi 10.3233/ia-2011-0014
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2011
Authors
Publisher
IOS Press