1 citations · 1 across the 1 of their papers we have counts for
1 paper
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng
Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases…