Analysis and Code Model Extraction for C/C++ Source Code.

Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm

Browse the full ICECCS paper archive.