Discovering Concurrency Errors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar. Discovering Concurrency Errors. In Ezio Bartocci, Yliès Falcone, editors, Lectures on Runtime Verification - Introductory and Advanced Topics. Volume 10457 of Lecture Notes in Computer Science, pages 34-60, Springer, 2018. [doi]

This author has not been identified. Look up 'João M. Lourenço' in GoogleThis author has not been identified. Look up 'Jan Fiedor' in GoogleThis author has not been identified. Look up 'Bohuslav Krena' in GoogleThis author has not been identified. Look up 'Tomás Vojnar' in Google

runs on WebDSL