KORSO reference languages concepts and application domains

This publication has 39 references indexed in Scilit:

• Sketching concepts and computational model of TROLL light
  Published by Springer Nature ,2005
• The Korso case study for software engineering with formal methods: A medical information system
  Published by Springer Nature ,1995
• How to cope with the Spectrum of Spectrum
  Published by Springer Nature ,1995
• AVL trees revisited: A case study in Spectrum
  Published by Springer Nature ,1995
• Conceptual modelling of database applications using an extended ER model
  Data & Knowledge Engineering, 1992
• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• Term rewriting and beyond — theorem proving in Isabelle
  Formal Aspects of Computing, 1989
• Semantic data models
  ACM Computing Surveys, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976