Runtime verification [E-Book] : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / ed. by M. Leucker.
Leucker, M., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540892472 (e-book)
9783540892465
Lecture notes in computer science ; 5289
Full Text
Description not available.