Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
Typed Norms
ESOP, 1992.
@inproceedings{ESOP-1992-BossiCF, author = "Annalisa Bossi and Nicoletta Cocco and Massimo Fabris", booktitle = "{Proceedings of the Fourth European Symposium on Programming}", doi = "10.1007/3-540-55253-7_5", editor = "Bernd Krieg-Brückner", isbn = "3-540-55253-7", pages = "73--92", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Typed Norms}", volume = 582, year = 1992, }