2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen
Reasoning about functions that operate over algebraic data types is an important problem for a large variety of applications. One application of particular interest is network appl…