Abstract State Machines: a modelling method for complex systems, Alexei Lisitsa

Day 4 of the International Winter School on Software Engineering, 14-18 February 2022, Faculty of Computer Science, HSE University. Speaker: Alexei Lisitsa, Lecturer in Computer Science, University of Liverpool. 17 February 2022 International Winter School on Software Engineering: Faculty of Computer Science: Follow us: ;