Ionut Tutu

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 11

Top Topics

Logic Programming

Operational Semantics

Invariant Properties

Formal Specification

Top Venues

J. Log. Algebraic Methods Program.

Publications