Azure Research – Security and Privacy

Prix | jStar: towards practical verification for Java

jStar paper wins “Most Influential OOSPLA Paper 2008”