Betim Musa
According to our database1,
Betim Musa
authored at least 6 papers
between 2014 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
2017
2018
0
1
2
3
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
2017
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014