Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Extended abstract)

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Extended abstract)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science