Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman. Code aware resource management. Formal Methods in System Design, 42(2):146-174, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.