DMCA

Composition of model programs (2007)

by Margus Veanes , Colin Campbell , Wolfram Schulte
Venue:FORTE 2007, volume 4574 of LNCS
Citations:6 - 4 self