Pubblicazioni

Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification

2021 - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Mancini, T.; Melatti, I.; Tronci, E.

Transactions and contracts based on reaction systems

2021 - THEORETICAL COMPUTER SCIENCE
Bottoni, P; Labella, A

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma