RISC Theses
Formal Design Method For Reasoning about Algorithms and Representing Efficient Programs (phd thesis)
Investigator:
Jakob Praher
(since 2014-05-11)
Advisor:
Tudor Jebelean
Short Description:
webmaster
