Ewa Romanowicz

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

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