An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II |
| |
Authors: | Deutsch, Moshe Henson, Martin C. |
| |
Affiliation: | Department of Computer Science, University of Essex, Wivenhoe Park, Colchester, Essex CO4 3SQ, UK E-mail: mdeuts{at}essex.ac.uk, hensm{at}essex.ac.uk |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|