Statistics
Publications
13
Citations
561
H-Index
12
Active since
2008
Sebastian Ullrich is an author at German University of Administrative Sciences specializing in computing, computer science, and business.
Publications per year
2008–2019
13
13
A metaprogramming framework for formal verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch et al. · Proceedings of the ACM on Programming Languages · 2017 · 79 citations · Full text
1–5 of 13