On Behavioral Types for OSGi: From Theory to Implementation

Jan Olaf Blech, Harald Rueß and Bernhard Schätz

CoRR, abs/1306.6115

2013

url: http://arxiv.org/abs/1306.6115