Publisher: Springer; 2006 edition (April 28, 2006)
Format: PDF / Kindle / ePub
Size: 5.7 MB
Downloadable formats: PDF
This ebook constitutes the refereed lawsuits of the thirteenth foreign SPIN workshop on version Checking software program, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite tv for pc occasion of ETAPS 2006. The sixteen revised complete papers awarded including 3 instrument presentation papers have been conscientiously reviewed and chosen from forty four submissions. The papers are geared up in topical sections.
Rewriting Logic and Its Applications: 11th International Workshop, Wrla 2016, Held as a Satellite Event of Etaps, Eindhoven, the Netherlands, April ... Papers (Lecture Notes in Computer Science) review