Regression verification for Java using a secure information flow calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich. Regression verification for Java using a secure information flow calculus. In Rosemary Monahan, editor, Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015. ACM, 2015. [doi]

This author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Vladimir Klebanov' in GoogleThis author has not been identified. Look up 'Mattias Ulbrich' in Google

runs on WebDSL