Model-Checking Software Library API Usage Rules.

Fu Song, Tayssir Touili

Browse the full IFM paper archive.