Verifying C++ with STL containers via predicate abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicolas Blanc, Alex Groce, Daniel Kroening. Verifying C++ with STL containers via predicate abstraction. In R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. pages 521-524, ACM, 2007. [doi]

This author has not been identified. Look up 'Nicolas Blanc' in GoogleThis author has not been identified. Look up 'Alex Groce' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in Google

runs on WebDSL