19.6.09

What Is Cibai

CIBAI
An Abstract Interpretation-Based Static
Analyzer for Modular Analysis and Verification
of Java Classes

0 comments: