NII Shonan School on Coq

Icon

NII Shonan Meeting Seminar 041

Lecturers

*2013 ACM Software System Award?Laureate