The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Reasoning about object-oriented programs: from classes to interfaces

The work

AuthorsJinting Bian
Editors
Typephdthesis
Year2024
Citekeybian2024reasoning

Where it appeared

SchoolLeiden University

Access

URLhttps://hdl.handle.net/1887/3754248

Empty on purpose

abstract, container, copy

Related

Distinct frombian2021reasoning
Distinct frombian2022reasoning

How it got here

How it got hereimport via phd-thesis
Added2026-08-24 00:00 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

bian

Cite it as

@phdthesis{bian2024reasoning,
  title        = {Reasoning about object-oriented programs: from classes to interfaces},
  author       = {Jinting Bian},
  year         = {2024},
  school       = {Leiden University},
}

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