3 citations · 6 across the 8 of their papers we have counts for
1 paper · 1 filter
Yu-Fang Chen, Ahmed Rezine
The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with i…