Login / Signup

Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches.

Peter LammichAndreas Lochbihler
Published in: J. Autom. Reason. (2019)
Keyphrases