Putting consistent theories together in institutions

DOI10.1007/BF02943493zbMath0837.68073OpenAlexW2061119032MaRDI QIDQ1894329

Ming Sheng Ying

Publication date: 24 July 1995

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943493

zbMATH Keywords

software engineeringabstract model theoryconsistent theories

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Institutions: abstract model theory for specification and programming

This page was built for publication: Putting consistent theories together in institutions