DMCA

Weakest precondition synthesis for compiler optimizations (2014)

Cached

Download Links

by Nuno P. Lopes , Jose ́ Monteiro
Venue:In Proc. of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation
Citations:4 - 3 self