1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Isha Chaudhary, Shuyi Lin, Cheng Tan +1
Specifications - precise mathematical representations of correct domain-specific behaviors - are crucial to guarantee the trustworthiness of computer systems. With the increasing d…