Freiherr von Gleissenthall, Klaus
Cardinalities in Software Verification
2016
Dissertation
75 Seiten

Schlund, Maximilian
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
2016
Dissertation
201 Seiten