Denis A. Nikiforov

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 3

Top Topics

Model Driven Architecture

Platform Independent

Top Venues

Arch. Formal Proofs

Ershov Informatics Conference

AIST (Supplement)

Publications