Elena Giachino
- Behavioral Types in Programming Languages
2016/01/01 by Nobuko Yoshida, Vasco T. Vasconcelos, Luca Padovani +18 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Logic, programming, and type systems #Teaching and Learning Programming