Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Computer Science Research Report
Current
Archives
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Contact
Search
Login
Home
/
Archives
/
A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software, nr. 117, 2007
A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software, nr. 117, 2007
A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software
Kim S. Henriksen
1-219
PDF
Developed By
Open Journal Systems
Information
For Readers
For Authors
For Librarians
