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

Scholarly Activity

related documents

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