Vol-1638⫷ Vol-1639 ⫸Vol-1640
urn:nbn:de:0074-1639-0


Vol-1639/paper-05⫷Vol-1639/paper-06

Towards Automated Bounded Model Checking of API Implementations