A Visual Interactive Framework for Formal Derivation.
Paul Agron, Leo Bachmair, Frank Nielsen
VenueMulticonferenceICCS
Year2005
ProceedingsInternational Conference on Computational Science (1)
DBLP recordconf/iccS/AgronBN05 ↗
Browse the full ICCS paper archive.