Laughs,  Technology

Microsoft Cibai For Dummies

If you don’t already already know, Microsoft has a research project called ‘Cibai’ (link). Apparently, its “an abstract interpretation-based static analyzer for modular analysis and verification of Java classes”.

So today I present you this book:

cibai_for_dummies

*giggles*

16 Comments

Leave a Reply

Your email address will not be published. Required fields are marked *