Healthiness Conditions for Predicate Transformers

Klaus Keimel. Healthiness Conditions for Predicate Transformers. Electronic Notes in Theoretical Computer Science, 319:255-270, 2015. [doi]

No reviews for this publication, yet.