- Institution
- Faculty of Computer Science, Alexandru Ioan Cuza University
- denis.bogdanas@info.uaic.ro
- Web
- http://www.linkedin.com/in/denisbogdanas
- Address
- Berthelot 16, 700483 Iasi, Romania
- Status
- Former
Profesional activities:
Research Topics:- Defining Java semantics in K
- Reasoning about Java programs
Publications
2015
K-Java: A Complete Semantics of Java Unpublished
A Complete Semantics of Java Unpublished