Mihails Milehins - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Registered user since Sun 28 Nov 2021

Name:Mihails Milehins

Contributions

2022

CPP

An Extension of the Framework Types-To-Sets for Isabelle/HOL

Show activities from other conferences

POPL 2022-profile
View general profile