Moy, Matthieu
-
Volume 23: Automated Verification of Critical Systems 2009 - Articles
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST