Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: RV2010

This author has not been identified. Look up 'Howard Barringer' in GoogleThis author has not been identified. It may be one of the following persons:

Yliès Falcone

Look up 'Yliès Falcone' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. It may be one of the following persons:

Klaus Havelund

Look up 'Klaus Havelund' in GoogleThis author has not been identified. Look up 'Insup Lee' in GoogleThis author has not been identified. It may be one of the following persons:

Gordon J. Pace

Look up 'Gordon J. Pace' in GoogleIdentified as Grigore Rosu This author has not been identified. Look up 'Oleg Sokolsky' in GoogleThis author has not been identified. Look up 'Nikolai Tillmann' in Google

runs on WebDSL