Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. - Ryszard Janicki; Ewa Romanowicz (Software Engineering Research and Practice, 2009)