External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Exact Flow Analysis by Higher-Order Model Checking

Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi 0001. Exact Flow Analysis by Higher-Order Model Checking. In Tom Schrijvers, Peter Thiemann, editors, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Volume 7294 of Lecture Notes in Computer Science, pages 275-289, Springer, 2012. [doi]

Authors

Yoshihiro Tobita

This author has not been identified. Look up 'Yoshihiro Tobita' in Google

Takeshi Tsukada

This author has not been identified. Look up 'Takeshi Tsukada' in Google

Naoki Kobayashi 0001

This author has not been identified. Look up 'Naoki Kobayashi 0001' in Google
runs on