مؤتمر
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 |
كن أول من يترك تعليقا!