Login / Signup
Verifying OpenJDK's LinkedList using KeY (extended paper).
Hans-Dieter A. Hiep
Olaf Maathuis
Jinting Bian
Frank S. de Boer
Stijn de Gouw
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
data sets
neural network
special case
real time
databases
artificial intelligence
social networks
feature selection
knowledge base
three dimensional
data structure
cooperative
natural language
pairwise
artificial neural networks