Merkliste 
 1 Ergebnisse 
 
1

A formal approach to the engineering of domain-specific dis..:

De Nicola, Rocco ; Ferrari, Gianluigi ; Pugliese, Rosario.
Journal of Logical and Algebraic Methods in Programming.  111 (2020)  - p. 100511 , 2020