Logical Specification of Operational Semantics (1999)

Cached

Download Links

by Peter D. Mosses
Venue:IN CSL'99, PROC. CONF. ON COMPUTER SCIENCE LOGIC, VOLUME 1683 OF LNCS
Citations:4 - 3 self