Abstract Interpretation of PIC Programs through Logic Programming (2006)

Cached

Download Links

by Kim S. Henriksen
Venue:In SCAM ’06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM’06
Citations:9 - 1 self