Comparing extended Z with a heterogeneous notation for reasoning about time and space Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Paige, Richard

status

published

publication date

January 1, 1998

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98) Conference