A Relational Model for Non-Deterministic Programs and Predicate Transformers

• Authors:

• Pedro Guerreiro

• Affiliations:

• -

• Venue:
• Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
• Year:
• 1980