Write a Blog >>
Cezary Kaliszyk

Registered user since Thu 22 Sep 2016

Name:Cezary Kaliszyk
Affiliation:University of Innsbruck

Contributions

CPP 2016 Mizar Environment for Isabelle
Show activities from other conferences

POPL 2016-profile
View general profile