Progetto PROSSIMO: Introduzione al Model Checking

Immagine di anteprima
File
mc.pdf(1.86 MB)
Data
2019-01-29
Autori
Cicala, Giuseppe
Pulina, Luca
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
Descrizione
Keywords
Citazione
URI
http://hdl.handle.net/11050/1419
collections
SR Altro