16 citations · 29 across the 2 of their papers we have counts for
1 paper · 1 filter
Leonid Ryzhyk, Adam Walker
We summarise our experience developing and using Termite, the first reactive synthesis tool intended for use by software development practitioners. We identify the main barriers to…