Showing 1 - 1 results of 1 for search 'Trtik, M', query time: 0.02s
Refine Results
-
1
JBMC: a bounded model checking tool for verifying Java bytecode by Cordeiro, L, Kesseli, P, Kroening, D, Schrammel, P, Trtik, M
Published 2018Conference item