Azure Research – Security and Privacy

Awards | jStar: towards practical verification for Java

jStar paper wins “Most Influential OOSPLA Paper 2008”