Typed Norms

Annalisa Bossi, Nicoletta Cocco, Massimo Fabris. Typed Norms. In Bernd Krieg-Brückner, editor, ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Volume 582 of Lecture Notes in Computer Science, pages 73-92, Springer, 1992.

Authors

Annalisa Bossi

This author has not been identified. Look up 'Annalisa Bossi' in Google

Nicoletta Cocco

This author has not been identified. Look up 'Nicoletta Cocco' in Google

Massimo Fabris

This author has not been identified. Look up 'Massimo Fabris' in Google