مؤتمر
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
| العنوان: | 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 |
|---|---|
| المؤلفون: | Flaviani, Federico |
| المصدر: | 2018 XLIV Latin American Computer Conference (CLEI) CLEI Computer Conference (CLEI), 2018 XLIV Latin American. :749-758 Oct, 2018 |
| Relation: | 2018 XLIV Latin American Computer Conference (CLEI) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9781728104379 |
|---|---|
| DOI: | 10.1109/CLEI.2018.00095 |