Publisher: Springer; 2013 edition (May 13, 2013)
Format: PDF / Kindle / ePub
Size: 7.9 MB
Downloadable formats: PDF
This booklet constitutes the refereed court cases of the tenth foreign convention on built-in Formal equipment, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised complete papers awarded including four invited papers have been conscientiously reviewed and chosen from eighty four complete paper submissions. The papers hide the spectrum of built-in formal tools, targeting refinement, integration, translation, verification, reachability and version checking, usability and trying out, dispensed structures, semantics, and system-level research.
Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence) free