Abstract Interpretation based Verification of Logic Programs (2000)

Cached

Download Links

by Marco Comini , Roberta Gori , Giorgio Levi , Paolo Volpe
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:12 - 6 self