DaftarIsitemplate

Call Number

SEM-374

Title

Lifter: Language to Encode Induction Heuristics for Isabelle/HOL (266-287)

Author

Yutaka Nagashima;

Publisher

Subject

Location