Articles
Imperative functional programming in Isabelle/HOL
Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), 2018 (Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss)
Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]
Mehr Informationen