Chiara Staudenmaier

According to our database1, Chiara Staudenmaier authored at least 1 paper in 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Understanding Counterexamples for Relational Properties with DIbugger.
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019


  Loading...