FaMa-OVM: a tool for the automated analysis of OVMs.

Fabricia Roos-Frantz, Jos Angel Galindo, David Benavides, Antonio Ruiz Corts

Browse the full SPLC paper archive.