Towards Executable Specifications Using Conditional Axioms.

Klaus Drosten

Browse the full STACS paper archive.