Abstract Relational Specifications

Jules Desharnais, Nazim H. Madhavji. Abstract Relational Specifications. In Manfred Broy, editor, Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. pages 267-284, North-Holland, 1990.

Authors

Jules Desharnais

This author has not been identified. Look up 'Jules Desharnais' in Google

Nazim H. Madhavji

This author has not been identified. Look up 'Nazim H. Madhavji' in Google