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

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