Programming and Verifying Component Ensembles

10.1007/978-3-642-54848-2_5 ◽

2014 ◽

pp. 69-83 ◽

Cited By ~ 10

Author(s):

Rocco De Nicola ◽

Alberto Lluch Lafuente ◽

Michele Loreti ◽

Andrea Morichetta ◽

Rosario Pugliese ◽

...