Cited By
View all- Giacobazzi RRanzato FScozzari F(2006)Complete abstract interpretations made constructiveMathematical Foundations of Computer Science 199810.1007/BFb0055786(366-377)Online publication date: 28-May-2006
- Giacobazzi RRanzato F(2005)Completeness in abstract interpretation: A domain perspectiveAlgebraic Methodology and Software Technology10.1007/BFb0000474(231-245)Online publication date: 7-Sep-2005
- Giacobazzi RRanzato FScozzari F(2002)Building Complete Abstract Interpretations in a Linear Logic-Based SettingStatic Analysis10.1007/3-540-49727-7_13(215-229)Online publication date: 24-Sep-2002
- Show More Cited By