Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540367499, 9783540367505
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Compatibility Approaches

2006 ◽  
pp. 243-258 ◽  
Author(s):  
Edmund Clarke ◽  
Natasha Sharygina ◽  
Nishant Sinha

Smallfoot: Modular Automatic Assertion Checking with Separation Logic

2006 ◽  
pp. 115-137 ◽  
Author(s):  
Josh Berdine ◽  
Cristiano Calcagno ◽  
Peter W. O’Hearn
Keyword(s):  
Separation Logic

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing

2006 ◽  
pp. 22-43 ◽  
Author(s):  
Gian Luigi Ferrari ◽  
Dan Hirsch ◽  
Ivan Lanese ◽  
Ugo Montanari ◽  
Emilio Tuosto
Keyword(s):  
Service Oriented Computing ◽  
Service Oriented ◽  
Hyperedge Replacement

scholarly journals Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

2006 ◽  
pp. 342-363 ◽  
Author(s):  
Patrice Chalin ◽  
Joseph R. Kiniry ◽  
Gary T. Leavens ◽  
Erik Poll
Keyword(s):  
Specification And Verification

scholarly journals Separation Results Via Leader Election Problems

2006 ◽  
pp. 172-194 ◽  
Author(s):  
Maria Grazia Vigliotti ◽  
Iain Phillips ◽  
Catuscia Palamidessi
Keyword(s):  
Leader Election ◽  
Separation Results
Load More ...
Sign in / Sign up

Export Citation Format

Share Document