Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language

Cindy Kong, Perry Alexander, Catherine Menon

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language'. Together they form a unique fingerprint.

Keyphrases

Computer Science