Email

grigoras@info.uaic.ro

Web

http://www.info.uaic.ro/~grigoras

Address

Faculty of Computer Science, Alexandru Ioan Cuza University, Berthelot 16, 700483 Iasi, RO

Status

Former

Publications

2011

2009

2008

Projects

• Automated Verification Using Circularities (CIRC)

Grants

• Verificare Automata Prin Circularitati (CIRC) (CIRC)
• An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems (DAK) (DAK)