Experience report: the reactis validation tool - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steve Sims, Daniel C. DuVarney. Experience report: the reactis validation tool. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 137-140, ACM, 2007. [doi]

This author has not been identified. Look up 'Steve Sims' in GoogleThis author has not been identified. Look up 'Daniel C. DuVarney' in Google

runs on WebDSL