Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642120282, 9783642120299
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An Automata-Theoretic Approach to Hardware/Software Co-verification

2010 ◽  
pp. 248-262 ◽  
Author(s):  
Juncao Li ◽  
Fei Xie ◽  
Thomas Ball ◽  
Vladimir Levin ◽  
Con McGarvey
Keyword(s):  
Theoretic Approach

scholarly journals Shape Refinement through Explicit Heap Analysis

2010 ◽  
pp. 263-277 ◽  
Author(s):  
Dirk Beyer ◽  
Thomas A. Henzinger ◽  
Grégory Théoduloz ◽  
Damien Zufferey
Keyword(s):  
Heap Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document