44 citations · 44 across the 4 of their papers we have counts for
1 paper · 1 filter
Carlos G. Lopez Pombo, Thomas S. E. Maibaum
Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentat…