Login / Signup
Local Completeness for Program Correctness and Incorrectness (Invited Talk).
Roberto Bruni
Published in:
CALCO (2023)
Keyphrases
</>
invited talk
selected papers
knowledge discovery and data mining
computer programs
neural network
machine learning
researchers and practitioners
carefully reviewed and selected from submissions
program committee
data mining
database systems
data structure