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

Vladimír Still Petr Rockai Jiri Barnat

Published in: CoRR (2017)

Keyphrases

end users
neural network
information retrieval
information systems
image processing
model checking
core components