History-based Specification and Verification of Java Collections in KeY: Video Material

Bian, Jinting; Hiep, Hans-Dieter

The video collection contains a number of videos that demonstrate the construction of proofs for showing the history-based verification of clients and interface implementations.

Additional Metadata
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. (2020). History-based Specification and Verification of Java Collections in KeY: Video Material.

Additional Files
View at Figshare

See Also
inProceedings History-based specification and verification of Java Collections in KeY H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

History-based Specification and Verification of Java Collections in KeY: Video Material

Publication

Publication

inProceedings
History-based specification and verification of Java Collections in KeY

Address

CWI researchers

Questions or comments?

History-based Specification and Verification of Java Collections in KeY: Video Material

Publication

Publication

inProceedings History-based specification and verification of Java Collections in KeY

Workflow

Workflow

Add Content

inProceedings
History-based specification and verification of Java Collections in KeY