Denis Bogdanas
Member Status: Former
Institution: Faculty of Computer Science, Alexandru Ioan Cuza University
E-mail: denis.bogdanas@info.uaic.ro
Address: Berthelot 16, 700483 Iasi, Romania
Profesional activities:
Research Topics:
- Defining Java semantics in K
- Reasoning about Java programs