Thesis by Rinaldi, Davide
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
Rinaldi, Davide (2014): Formal methods in the theories of rings and domains. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
Rinaldi, Davide (2014): Formal methods in the theories of rings and domains. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics