Dorel Lucanu

From FSL

Jump to: navigation, search

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
Image:New.gif CALCO'07, LNCS, to appear
PDF, CALCO'07, BIB

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Dorel_Lucanu"
Views
Personal tools