The specification logic nuZ

Martin C. Henson, Moshe Deutsch, Besnik Kajtazi. The specification logic nuZ. Formal Asp. Comput., 18(3):364-395, 2006. [doi]

Authors

Martin C. Henson

This author has not been identified. It may be one of the following persons: Look up 'Martin C. Henson' in Google

Moshe Deutsch

This author has not been identified. Look up 'Moshe Deutsch' in Google

Besnik Kajtazi

This author has not been identified. Look up 'Besnik Kajtazi' in Google