DaftarIsitemplate

Call Number

SEM-374

Title

Completeness of Cyclic Proofs Symbolic Heaps iwth Inductive Definitions (367-387)

Author

Makoto Tatsuta Koji Nakazawa Daisuke Kimura;

Publisher

Subject

Location