Under-constrained symbolic execution [electronic resource] : correctness checking for real code

Digital content

Browse related items

Start at call number:
Librarian view | Catkey: 11061347