12 citations · 15 across the 6 of their papers we have counts for
1 paper · 2 filters
Nathaniel Watson, Steve Reeves, Paolo Masci
Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logic…