Denis Bogdanas

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

Publications

2015

2013

2012

Sidebar