3 citations · 5 across the 9 of their papers we have counts for
1 paper · 1 filter
Eric Alsmann, Florian Bruse, Martin Lange
We investigate the expressive power of the two main kinds of program logics for complex, non-regular program properties found in the literature: those extending propositional dynam…