74 citations · 173 across the 9 of their papers we have counts for
1 paper · 2 filters
Leslie Lamport, Stephan Merz
Auxiliary variables are often needed for verifying that an implementation is correct with respect to a higher-level specification. They augment the formal description of the implem…