Progetto PROSSIMO: Introduzione al Model Checking

Caricamento...
Immagine di anteprima
Data
2019-01-29
Autori
Cicala, Giuseppe
Pulina, Luca
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
Descrizione
Keywords
Citazione
collections