default author photo

Demis Ballis

Università degli Studi di Udine

Italy

SCHOLARLY PAPERS

1

DOWNLOADS

35

TOTAL CITATIONS

0

Scholarly Papers (1)

1.

Safety Enforcement Via Programmable Strategies

Number of pages: 36 Posted: 01 Nov 2022
Università degli Studi di Udine, Polytechnic University of Valencia, Polytechnic University of Valencia, Polytechnic University of Valencia and Polytechnic University of Valencia
Downloads 35 (1,263,436)

Abstract:

Loading...

Program safety, Rewriting strategies, Rewriting logic, Maude, formal methods