|
Seminar calendar
|
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023), Novosibirsk |
|
|
March 8, 2024 (Fri) |
|
1. |
Automated Reasoning with Continuous Data M. V. Korovina March 8, 2024 14:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
|