GitHub / giorgiosld / Static-Analysis-and-Program-Verification
This repo contains the material about the course "Static Analysis and Program Verification" supplied in the Master Degree (LM-18) at the University of Camerino
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/giorgiosld%2FStatic-Analysis-and-Program-Verification
PURL: pkg:github/giorgiosld/Static-Analysis-and-Program-Verification
Stars: 0
Forks: 0
Open issues: 0
License: apache-2.0
Language: Agda
Size: 876 KB
Dependencies parsed at: Pending
Created at: almost 2 years ago
Updated at: 9 months ago
Pushed at: about 1 year ago
Last synced at: 4 months ago
Topics: agda, program-verification, static-analysis