Anna Rechtácková
According to our database1,
Anna Rechtácková
authored at least 2 papers
between 2021 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021