Lozov Pyotr Alekseyevich

Presentations in Math-Net.Ru

1. Relational Solver for Java Generics Type System
   P. A. Lozov
   Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
   December 15, 2023 14:00