Ivano Salvo

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 21

Top Topics

Formal Specification

Strongly Polynomial

Malicious Attacks

Control Software

Top Venues

Inf. Process. Lett.

Publications