Relating Multifunctions and Predicate Transformers through Closure Operators

• Authors:

• Marcello M. Bonsangue;Joost N. Kok

• Affiliations:

• -;-

• Venue:
• TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
• Year:
• 1994