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 Analyzing the Impact of Change in Multi-threaded Programs

2010 ◽  
pp. 293-307 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Luca de Alfaro ◽  
Vishwanath Raman ◽  
César Sánchez
Keyword(s):  
The Impact
Load More ...
Sign in / Sign up

Export Citation Format

Share Document