Case Studies on Invariant Generation Using a Saturation Theorem Prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krystof Hoder, Laura Kovács, Andrei Voronkov. Case Studies on Invariant Generation Using a Saturation Theorem Prover. In Ildar Z. Batyrshin, Grigori Sidorov, editors, Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I. Volume 7094 of Lecture Notes in Computer Science, pages 1-15, Springer, 2011. [doi]

This author has not been identified. Look up 'Krystof Hoder' in GoogleThis author has not been identified. Look up 'Laura Kovács' in GoogleThis author has not been identified. It may be one of the following persons:

Andrei Voronkov

Look up 'Andrei Voronkov' in Google

runs on WebDSL