Authors

Philipp Körner, Sebastian Krings

Venue

FMTea 2021

Bibtex

@InProceedings(10.1007/978-3-030-91550-6_5,
  Author	= {K{\"o}rner, Philipp and Krings, Sebastian},
  Title		= {{Increasing Student Self-Reliance and Engagement in Model-Checking Courses}},
  Booktitle	= {Proceedings FMTea (Formal Methods Teaching)},
  Year		= 2021,
  Pages		= {60--74},
  Series	= {Lecture Notes in Computer Science},
  Volume	= 13122,
  Publisher	= {Springer}
)

Available at:

• Springer (DOI)

About

Related