PubPeer
The online Journal club
login
create account
Home
Publications
Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory
2018 XLIV Latin American Computer Conference (CLEI) (2018) -
Comments
doi: 10.1109/clei.2018.00095
Federico Flaviani
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})