Tadej Golobič (2015) Programme for automatic verification of algorithms written in C++ programming language. EngD thesis.