Merkliste 
 1 Ergebnisse 
 
1

Domain-specific design of patient classification in cancer-..:

, In: Proceedings of the 6th Conference on Formal Methods in Software Engineering,