DMCA

D.: Decomposition for compositional verification (2008)

by Heike Wehrheim , Daniel Wonisch
Venue:ICFEM 2008. LNCS
Citations:2 - 0 self