Report copyright - Spec# Boogiei12engelc/lehre/seminarSS07/folien/hartte... · 2007. 7. 27. · Einführung Boogie ist ein statischer Verifizierer erkennt semantische Fehler zur Entwicklungszeit und
Please pass captcha verification before submit form
Please pass captcha verification before submit form