Analisi probabilistica di programmi

  1. Home

theses proposal

Analisi probabilistica di programmi

Guarantor
Roberto Giacobazzi
Study courses
Bachelor in Computer Science (old system)

Description

Tesi di ricerca di base sui domini astratti e la semantica per l'analisi di algoritmi probabilistici
(es. in quantum computing).

Studying

Share