Runtime Verification - Sokolsky, Oleg; TaÅŸÄ±ran, Serdar (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Software Engineering