Mehdi Bouaziz

A Case for Static Analyzers in the Cloud

8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), Rome, Italie. 23 mars 2013

Dernière mise à jour : 23 novembre 2013