Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
ITIL @ DIT: Service Management
Graph Chatbot
Related lectures (32)
Previous
Page 4 of 4
Next
Abstract Interpretation in Stainless
Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Clean Order Project
Covers the Clean Order Project, consisting of three deliverables worth 65% of the final grade.
