Login / Signup

Code aware resource management.

Krishnendu ChatterjeeLuca de AlfaroMarco FaellaRupak MajumdarVishwanath Raman
Published in: Formal Methods Syst. Des. (2013)
Keyphrases