Reasoning (on) service component ensembles in rewriting logic

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Reasoning (on) service component ensembles in rewriting logic'. Together they form a unique fingerprint.

Computer Science