Login / Signup

Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.

Peter GrønningThomas Qvist NielsenHans Henrik Løvengreen
Published in: FSTTCS (1990)
Keyphrases
  • auxiliary variables
  • higher order
  • deformable models
  • graph cuts
  • half quadratic
  • pattern recognition