Showing 1 - 2 results of 2 for search 'Ștefan Ciobâcă', query time: 0.02s
Refine Results
-
1
A Verified Implementation of the DPLL Algorithm in Dafny by Cezar-Constantin Andrici, Ștefan Ciobâcă
Published 2022-06-01
Article -
2
All-Path Reachability Logic by Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu
Published 2019-04-01
Article