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 Style AAA Style APA 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. doi: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)

Publication