Jinting Bian
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| History-based reasoning about behavioral subtyping (extended paper) Theoretical Computer Science | 2026-03-26 | Paper |
| History-based reasoning about behavioral subtyping | 2025-05-23 | Paper |
| Integrating ADTs in KeY and their application to history-based reasoning about collection Formal Methods in System Design | 2024-01-08 | Paper |
| Integrating ADTs in KeY and Their Application to History-Based Reasoning | 2023-04-21 | Paper |
Research outcomes over time
This page was built for person: Jinting Bian
