A Functional Framework for Result Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Pablo Buiras, César Kunz. A Functional Framework for Result Checking. In Matthias Blume, Naoki Kobayashi, Germán Vidal, editors, Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Volume 6009 of Lecture Notes in Computer Science, pages 72-86, Springer, 2010. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Pablo Buiras' in GoogleThis author has not been identified. Look up 'César Kunz' in Google

runs on WebDSL