Skip to main navigation Skip to search Skip to main content

Foundations of semantics and model checking in a software engineering course

  • University of Potsdam

Research output: Contribution to journal › Conference article › peer-review

Fingerprint

Dive into the research topics of 'Foundations of semantics and model checking in a software engineering course'. Together they form a unique fingerprint.
Sort by

Computer Science