The First Twenty-Five Years of Industrial Use of the B Method

Publication
In Proceedings 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Springer LNCS
Sebastian Krings
Sebastian Krings
Software Engineer

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

Related