Articles
Imperative functional programming in Isabelle/HOL
Java Magazin, Februar 2006 (Josef Adersberger)
Josef Adersberger is a Managing Director at QAware. He co-founded QAware in 2005 – immediately after studying computer science, during[...]
Mehr Informationen