Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
“... of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 8th...”
Cover Image
Read Now

5
Published 2013
Springer Berlin Heidelberg
“... like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods...”
Cover Image
Read Now

6
Published 2012
Springer Berlin Heidelberg
“..., and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey...”