Report copyright - Statically Checking Encapsulation in KeY with the Universe ...lfm.iti.kit.edu/files/theses/studienarbeit/sta_weiss.pdfThe KeY project [ABB+05] aims at integrating formal specification
Please pass captcha verification before submit form