APA (7th ed.) Citation

Hiep, H., & Materialien, K. f. n. (2021). Verifying OpenJDK’s LinkedList using KeY.

Chicago Style (17th ed.) Citation

Hiep, Hans-Dieter, and Kompetenzzentrum für nicht-textuelle Materialien. Verifying OpenJDK’s LinkedList Using KeY. 2021.

MLA (9th ed.) Citation

Hiep, Hans-Dieter, and Kompetenzzentrum für nicht-textuelle Materialien. Verifying OpenJDK’s LinkedList Using KeY. 2021.

Warning: These citations may not always be 100% accurate.