Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering

Publication
In Proceedings 1st International Workshop Formal Methods - Fun for Everybody
Sebastian Krings
Sebastian Krings
Software Engineer

My interests include software analysis, formal methods and offensive security.

Related