Login / Signup

Automating Algebraic Methods in Isabelle.

Walter GuttmannGeorg StruthTjark Weber
Published in: ICFEM (2011)
Keyphrases