Login / Signup

A Precise Pictorial Language for Array Invariants.

Johannes ErikssonMasoumeh ParsaRalph-Johan Back
Published in: IFM (2018)
Keyphrases