Login / Signup

Efficient Self-composition for Weakest Precondition Calculi.

Christoph SchebenPeter H. Schmitt
Published in: FM (2014)
Keyphrases
  • cost effective
  • multimedia
  • objective function
  • lightweight