A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software Authors Kim S. Henriksen Downloads PDF Published 2010-01-01 Issue A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software, nr. 117, 2007 Section Hele nummeret