Works matching DE "CASL (Computer program language)"

Monad-independent Dynamic Logic in HasCasl.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 4, p. 571, doi. 10.1093/logcom/14.4.571

By:

• Schröder, Lutz;
• Mossakowski, Till

Publication type:

Article