Conference
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.
Authors
Janicki R; Romanowicz E
Editors
Arabnia HR; Reza H
Pagination
pp. 10-16
Publisher
CSREA Press
Publication Date
January 1, 2009
ISBN-10
1-60132-129-5
Conference proceedings
Software Engineering Research and Practice