Symbolic analysis via semantic reinterpretation (2009)

by J Lim, A Lal, T Reps
Venue:In SPIN model