Dependable Systems
and Software
Home
Members
Research
Teaching
Theses
Tools
Contact
Imprint
Privacy Policy
Kathrin Stark: Bachelor's Thesis
Quantitative Recursion-Free Process Axiomatization in Coq
Submitted:
May 2014
Abstract
This thesis has no abstract.
