Michael Barnett, Mehdi Bouaziz, Manuel Fähndrich et Francesco Logozzo

A case for static analyzers in the cloud

in 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), mars 2013

Dernière mise à jour : 24 janvier 2014