Cinzia Di Giusto
- A Categorical Theory of Patches
2013/11/01 by Samuel Mimram, Cinzia Di Giusto · 2 voices · 2 citations
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Advanced Software Engineering Methodologies