Progetto PROSSIMO: tutorial KeYmaeraX

Immagine di anteprima
File
Keymaera.pdf(4.48 MB)
Data
2019-07-19
Autori
Cicala, Giuseppe
Pulina, Luca
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
Descrizione
Keywords
Citazione
URI
http://hdl.handle.net/11050/1432
collections
SR Altro