Hasil Pencarian - Stefan Ciobaca
- Menampilkan 1 - 4 hasil dari 4
-
1
Verifying the DPLL Algorithm in Dafny oleh Cezar-Constantin Andrici, Ştefan Ciobâcă
Diterbitkan 2019-09-01
Artikel -
2
A Verified Implementation of the DPLL Algorithm in Dafny oleh Cezar-Constantin Andrici, Ștefan Ciobâcă
Diterbitkan 2022-06-01
Artikel -
3
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics oleh Andrei-Sebastian Buruiană, Ştefan Ciobâcă
Diterbitkan 2019-02-01
Artikel -
4
All-Path Reachability Logic oleh Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu
Diterbitkan 2019-04-01
Artikel