Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Bîrleanu
conf.researchr.org general profile
ECOOP 2026 profile
Not registered as user
Name:
Daniel Bîrleanu
Affiliation:
Alexandru Ioan Cuza University, Iasi
Contributions
2026
VeriLang
Author of A Case Study in Proving the Soundness and Completeness of Natural Deduction for Propositional Logic in Dafny within the VeriLang 2026-track
Share
x
Wed 7 Oct 11:56