Program Specifications and Formal Development

作者： Cliff B. Jones

DOI:

关键词: Language Of Temporal Ordering Specification 、 Formal development 、 Specification language 、 Formal methods 、 Program derivation 、 Program analysis 、 Refinement 、 Programming language 、 Computer science 、 Formal specification