History-based reasoning about behavioral subtyping

The project files for the article` History-Based Reasoning about Behavioral Subtyping '

Additional Metadata
Persistent URL	doi.org/10.5281/zenodo.10998226
Rights	CC-BY 4.0 international
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bian, J., Hiep, H.-D.& de Boer, F. (2024). History-based reasoning about behavioral subtyping.https://doi.org/10.5281/zenodo.10998226

Additional Files
View at Zenodo

See Also
inProceedings History-based reasoning about behavioral subtyping J. Bian (Jinting), H.A. Hiep (Hans-Dieter) and F.S. de Boer (Frank)
article History-based reasoning about behavioral subtyping (extended paper) J. Bian (Jinting), H.A. Hiep (Hans-Dieter) and F.S. de Boer (Frank)

Publication