Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 ; revised selected papers

Bibliographic Details
Other Involved Persons: Ölveczky, Peter Csaba (Editor) ; WRLA (Other)
Format: Book
Language:English
Published: Berlin Heidelberg [u.a.] : Springer 2010
ISBN:3642163092
9783642163098
1280389737
9781280389733
Series:Lecture notes in computer science 6381
Item Description:Literaturangaben
Physical Description:X, 261 S. graph. Darst.
Subjects:
QR Code: Show QR Code