Articles
Fachposter: Cloud-native Apps 2.0
In: K. Schneider and J. Brandt, editors, Theorem Proving in Higher Order Logics (TPHOLs 2007) (Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow) PDF
Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]
Mehr Informationen