Marek Zaionc
Back to the main page
Pictures with
Formal Methods in Computer Science
students , January 2014.
.
.
.