Login / Signup

Top ten ways to make formal methods for HPC practical.

Ganesh GopalakrishnanRobert M. Kirby
Published in: FoSER (2010)
Keyphrases