Automating the refinement of specifications for distributed systems via syntactic transformations

Paul Attie, Champak Das

Research output: Contribution to journalArticle

1 Scopus citations

Fingerprint Dive into the research topics of 'Automating the refinement of specifications for distributed systems via syntactic transformations'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science