Statistical Model Checking of LLVM Code

Lecture Notes in Computer Science - Germany

doi 10.1007/978-3-319-95582-7_32