ℹ️
🇬🇧
Search
Search for people relevant for "refinement correctness"
refinement correctness
Person
Class
Person
Publication
Programmes
Export current view
person
RNDr. Martin Svoboda Ph.D.
Faculty of Mathematics and Physics
person
doc. RNDr. Irena Holubová Ph.D.
Faculty of Mathematics and Physics
