Login / Signup

Verifying OpenJDK's LinkedList using KeY.

Hans-Dieter A. HiepOlaf MaathuisJinting BianFrank S. de BoerMarko C. J. D. van EekelenStijn de Gouw
Published in: TACAS (2) (2020)
Keyphrases
  • databases
  • machine learning
  • digital images
  • artificial intelligence
  • high quality
  • pairwise
  • query processing