Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642180699, 9783642180705
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Dynamic Frames in Java Dynamic Logic

2011 ◽  
pp. 138-152 ◽  
Author(s):  
Peter H. Schmitt ◽  
Mattias Ulbrich ◽  
Benjamin Weiß
Keyword(s):  
Dynamic Logic

scholarly journals Sawja: Static Analysis Workshop for Java

2011 ◽  
pp. 92-106 ◽  
Author(s):  
Laurent Hubert ◽  
Nicolas Barré ◽  
Frédéric Besson ◽  
Delphine Demange ◽  
Thomas Jensen ◽  
...  
Keyword(s):  
Static Analysis

Specifying Imperative ML-Like Programs Using Dynamic Logic

2011 ◽  
pp. 122-137
Author(s):  
Séverine Maingaud ◽  
Vincent Balat ◽  
Richard Bubel ◽  
Reiner Hähnle ◽  
Alexandre Miquel
Keyword(s):  
Dynamic Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document