Call for Participation – ITP 2019
10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/
A sharing platform for the Computer-Aided Verification community
A sharing platform for the Computer-Aided Verification community
10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/