Mehdi Bouaziz

A Case for Static Analyzers in the Cloud

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

Last update: January 24, 2014