Vol-1384⫷ Vol-1385 ⫸Vol-1386
urn:nbn:de:0074-1385-0


Vol-1385/paper3⫷Vol-1385/paper4⫸Vol-1385/paper5
Henning BordihnAnna-Lena LamprechtTiziana Margaria

Foundations of Semantics and Model Checking in a Software Engineering Course