Authors

Sebastian Krings, Philipp Körner, Joshua Schmidt

Venue

SEUH 2019

Bibtex

@inproceedings{DBLP:conf/seuh/KringsKS19,
  author       = {Sebastian Krings and Philipp K{\"{o}}rner and Joshua Schmidt},
  title        = {Experience Report on an Inquiry-Based Course on Model Checking},
  booktitle    = {Proceedings SEUH (Software Engineering im Unterricht der Hochschulen)},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2358},
  pages        = {87--98},
  publisher    = {CEUR},
  year         = {2019},
}

Available at:

• CEUR-WS

About

Related