Evgenii Akentev

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

High Level Programming Language

Computer Programs

Database Languages

Top Venues

Publications

Evgenii Akentev, Alexander Tchitchigin, Larisa Safina, Manuel Mazzara
Verified type checker for Jolie programming language. CoRR (2017)