A
Menu
November 23, 2015 article Open access

Handling loops in bounded model checking of C programs via k-induction

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-015-0407-9 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 85

1 result

References 0