Representing and reasoning with operational semantics (2006)

by Dale Miller
Venue:In: Proceedings of the Joint International Conference on Automated Reasoning
Citations:7 - 2 self