User contributions for 185.212.60.57

8 February 2025

• 03:5503:55, 8 February 2025 diff hist +8,058 N Counterexample-guided abstraction refinement →References: fixed spelling of the name of an author of https://dl.acm.org/doi/10.1145/876638.876643 The first name should be Somesh according to his homepage https://pages.cs.wisc.edu/~jha/ current