70702297

a

70702297 Farahbod, Roozbeh Gervasi, Vincenzo Gl\"asser, Uwe Ma, George Coreasm plug-in architecture Rigorous Methods for Software Construction and Analysis, 147-169 (2009). 2009 EN

doi:10.1007/978-3-642-11447-2_10