243 followers
Techniques for Memory-Efficient Model Checking of C and C++ Code. - Petr Rockai, Vladimír Still, Jiri Barnat http://t.co/8CLiicmwt2
Techniques for Memory-Efficient Model Checking of C and C++ Code. - Petr Rockai, Vladimír Still, Jiri Barnat http://t.co/8CLiicmwt2