Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By ACM Press

9781450308939
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the interplay of exception handling and design by contract

2011 ◽  
Author(s):  
Henrique Rebêlo ◽  
Roberta Coelho ◽  
Ricardo Lima ◽  
Gary T. Leavens ◽  
Marieke Huisman ◽  
...  
Keyword(s):  
Exception Handling ◽  
Design By Contract

Verifying traits

2011 ◽  
Author(s):  
Ferruccio Damiani ◽  
Johan Dovland ◽  
Einar Broch Johnsen ◽  
Ina Schaefer

scholarly journals Fractional permissions without the fractions

2011 ◽  
Author(s):  
Stefan Heule ◽  
K. Rustan M. Leino ◽  
Peter Müller ◽  
Alexander J. Summers
Keyword(s):  
Fractional Permissions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document