[ACM Press the 17th Workshop - Prague, Czech Republic (2015.07.07-2015.07.07)] Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 - Regression verification for Java using a secure information flow calculus
Beckert, Bernhard, Klebanov, Vladimir, Ulbrich, MattiasYear:
2015
Language:
english
DOI:
10.1145/2786536.2786544
File:
PDF, 348 KB
english, 2015