MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). In Erika Ábrahám, Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Volume 8413 of Lecture Notes in Computer Science, pages 402-404, Springer, 2014. [doi]

This author has not been identified. Look up 'Ermenegildo Tomasco' in GoogleThis author has not been identified. Look up 'Omar Inverso' in GoogleThis author has not been identified. It may be one of the following persons:

Bernd Fischer

Look up 'Bernd Fischer 0002' in GoogleThis author has not been identified. Look up 'Salvatore La Torre' in GoogleThis author has not been identified. Look up 'Gennaro Parlato' in Google

runs on WebDSL