Using Off-the-Shelf Exception Support Components in C++ Verification.

Vladimr Still, Petr Rockai, Jiri Barnat

Browse the full QRS paper archive.