☰
Explorar
Iniciar sesión
Crear una nueva cuenta
Pubblicare
×
Descargar
No category
No Slide Title
No Slide Title
Document
Large-Scale Repositories of Highly Expressive Reusable
Large-Scale Repositories of Highly Expressive Reusable
Document
Dafny, a program verifier for functional correctness
Slide 1
OPSEC & Production Controls
Constraint Logic Programming (CLP)