Sciweavers

Share
DAGSTUHL
2007

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification

9 years 26 days ago
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where DAGSTUHL
Authors Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs
Comments (0)
books