Personensuche
X
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
5
Algebraic Specification in CASL:
, In:
?
Communications in Computer and Information Science; Formal Methods – Fun for Everybody ,
6
Teaching Them Early: Formal Methods in School:
, In:
?
Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems ,
7
Visualising Railway Safety Verification:
, In:
?
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education ,
9
Hands-on Security Testing in a University Lab Environment:
, In:
?
Formal Methods Teaching; Lecture Notes in Computer Science ,
12