On Flat Programs with Lists

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-69738-1_9 ◽

2007 ◽

pp. 122-136 ◽

Cited By ~ 2

Author(s):

Marius Bozga ◽

Radu Iosif

Download Full-text