Foundations of Semantics and Model Checking in a Software Engineering Course.

Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria

Browse the full FM paper archive.