The bibliographic entry was discovered and compiled by a machine, and let through without anybody vouching for it. The publication itself is the authors' own work — this badge says nothing about it.

Completeness of separation logic with inductive definitions for program verification

The work

TitleCompleteness of separation logic with inductive definitions for program verification
AuthorsMakoto Tatsuta; Wei-Ngan Chin
Typeconference paper
Year2014
Citekeytatsuta2014completeness

Where it appeared

Published inInternational Conference on Software Engineering and Formal Methods
PublisherSpringer
Pages20--34

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingnot denied
Approved2026-08-07
In: SEFM: Software Engineering and Formal Methods venue

Cite it as

@inproceedings{tatsuta2014completeness,
  title = {Completeness of separation logic with inductive definitions for program verification},
  author = {Makoto Tatsuta and Wei-Ngan Chin},
  year = {2014},
  booktitle = {International Conference on Software Engineering and Formal Methods},
  pages = {20--34},
  publisher = {Springer},
}

This record lives at https://refs.drheap.org/tatsuta2014completeness/ and will keep doing so.