Lecture Notes in Computer Science - Transactions on Modularity and Composition I
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783319469683, 9783319469690
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Modular Reasoning in the Presence of Event Subtyping

2016 ◽  
pp. 167-223
Author(s):  
Mehdi Bagherzadeh ◽  
Robert Dyer ◽  
Rex D. Fernando ◽  
José Sánchez ◽  
Hridesh Rajan
Keyword(s):  
Modular Reasoning

scholarly journals Software Unbundling: Challenges and Perspectives

2016 ◽  
pp. 224-237 ◽  
Author(s):  
João Bosco Ferreira Filho ◽  
Mathieu Acher ◽  
Olivier Barais
Load More ...
Sign in / Sign up

Export Citation Format

Share Document