141 followers
Composing Hidden Information Modules Over Inclusive Institutions (2004) : Joseph Goguen and Grigore Roşu DOI: https://t.co/yIaerjkgcL #composition #institution #logic #modularity #my_bibtex
Composing Hidden Information Modules Over Inclusive Institutions (2004) : Joseph Goguen and Grigore Roşu DOI: https://t.co/yIaerjkgcL #composition #institution #logic #modularity #my_bibtex