Normal view
MARC view
Sen, Koushik (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): RV (Conference) (2nd : 2011 : San Francisco, Calif.) 45402, Runtime verification :, ©2012.