## Monad-independent dynamic logic in HasCasl (2003)

### Cached

### Download Links

by
Lutz Schröder
,
Till Mossakowski

Venue: | J. Logic Comput |

Citations: | 12 - 7 self |