4 citations · 12 across the 7 of their papers we have counts for
1 paper · 1 filter
Eduard Kamburjan, Dilian Gurov
Programs must be correct with respect to their application domain. Yet, the program specification and verification approaches so far only consider correctness in terms of computati…