Path-sensitive resource analysis compliant with assertions.

Duc-Hiep Chu, Joxan Jaffar

Browse the full EMSOFT paper archive.