JMosel: A stand-alone tool and jABC plugin for M2L(Str)

Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'JMosel: A stand-alone tool and jABC plugin for M2L(Str)'. Together they form a unique fingerprint.

Mathematics

Computer Science