massimo-nocentini/ipcts
Material about "Introduction to Process Calculi and related Type Systems" PhD course
Public GitHub Catalog
Discovered Sep 26, 2026
massimo-nocentini / metodi-formali-verifica-sistemi
Formal Models For System Verification course notes
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#6393341GitHub System ID
massimo-nocentiniOrganization / User
PublicVisibility
ActiveCatalog Status
More from massimo-nocentini
massimo-nocentini/scientific-writing-8641
Public repository.
massimo-nocentini/tyscheme
Public repository.
massimo-nocentini/install-dependencies-scripts
This repository contains bash scripts to install required dependencies of packages I work with.