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

A case for static analyzers in the cloud

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

Last update: January 24, 2014