Sophie Ebersold
- Lessons from Formally Verified Deployed Software Systems
2023/01/05 by Li Huang, Huang, Li, Sophie Ebersold +8 · 2 voices · 2 citations
Computer Science · Engineering · #Logic, programming, and type systems #Advanced Software Engineering Methodologies #Modular Robots and Swarm Intelligence