Dorel Lucanu
From FSL
Visitor and collaborator.
Dorel Lucanu is a professor in the Faculty of Computer Science of the "A. I. Cuza" University of Iasi, Romania.
[edit] Publications within FSL
- CIRC: A Circular Coinductive Prover
- Dorel Lucanu and Grigore Rosu
CALCO'07, LNCS, to appear
PDF, CALCO'07, BIB


