Merkliste 
 1 Ergebnisse 
 
1

An annotation-based approach for JCSP concurrent programmin..:

, In: Proceedings of the 1st workshop on Modularity in systems software,