8 citations · 11 across the 12 of their papers we have counts for
1 paper · 1 filter
Markus Lepper, Baltasar Trancón y Widemann
The authors' "metatools" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the cr…