Media type: Book Title: Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011) Contributor: Brauer, Jörg [Editor] Published: Dresden: Techn.Univ., Fakultät Informatik, 2011 Published in: Technische Universität Dresden: Technische Berichte ; 2011,02 Extent: 95 S. Language: English RVK notation: SS 5514 : Technische Universität Dresden: Fakultät Informatik: Technische Berichte Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2011 4 014397 Item ID: 32905772 Status: Place order for use in library, no dispatch by interlibrary loan; delivery of photocopies possible > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order