A Tutorial on Verifying LinkedList Using KeY

Hans-Dieter A. Hiep^*
, Jinting Bian
, Frank S. de Boer
, Stijn de Gouw

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Sort by

Keyphrases

Computer Science