Ewa Romanowicz
According to our database1,
Ewa Romanowicz
authored at least 1 paper
in 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009