Michal Kotoun
According to our database1,
Michal Kotoun
authored at least 3 papers
between 2016 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2016
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Hardware and Software: Verification and Testing, 2016