Search for persons
X
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
4
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:
?
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education ,
7
Hands-on Security Testing in a University Lab Environment:
, In:
?
Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems ,
8
Visualising Railway Safety Verification:
, In:
?
Formal Methods Teaching; Lecture Notes in Computer Science ,
14