Title of article

Partial functions and logics: A warning

Author/Authors

C. B. Jones، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1995

Pages

3

From page

65

To page

67

Keywords

Specification languages , Program correctness , Partial functions

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128238