Skip to main navigation Skip to search Skip to main content

Verifying OpenJDK's LinkedList using KeY (extended paper)

  • Hans-Dieter A. Hiep*
  • , Olaf Maathuis
  • , Jinting Bian
  • , Frank S. de Boer
  • , Stijn de Gouw
    • *Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Fingerprint

Dive into the research topics of 'Verifying OpenJDK's LinkedList using KeY (extended paper)'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science