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.

Temporal Verification of Programs via First-Order Fixpoint Logic

Naoki Kobayashi 0001, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno. Temporal Verification of Programs via First-Order Fixpoint Logic. In Bor-Yuh Evan Chang, editor, Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Volume 11822 of Lecture Notes in Computer Science, pages 413-436, Springer, 2019. [doi]

Authors

Naoki Kobayashi 0001

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

Takeshi Nishikawa

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

Atsushi Igarashi

This author has not been identified. Look up 'Atsushi Igarashi' in Google

Hiroshi Unno

This author has not been identified. Look up 'Hiroshi Unno' in Google
runs on