Ewa Romanowicz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Ryszard Janicki, Ewa Romanowicz: Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. Software Engineering Research and Practice 2009: 10-16

	2009
1		Ryszard Janicki, Ewa Romanowicz: Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. Software Engineering Research and Practice 2009: 10-16

Coauthor Index