Back to the main page
Picture with Formal Methods in Computer Science students and picture with the best student of this course Krzysztof Maziarz, January 2015.
.
. . 
.