Pedro Joao Valente Dias Guerreiro
AuthID: R-000-ES6
11
TITLE: A relational model for non-deterministic programs and predicate transformers
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1980, SOURCE: Lecture Notes in Computer Science - International Symposium on Programming
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1980, SOURCE: Lecture Notes in Computer Science - International Symposium on Programming