Towards improving software security using language engineering and mbeddr C.

Markus Voelter, Zaur Molotnikov, Bernd Kolb

Browse the full OOPSLA paper archive.