Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023

Published in: CPP (2023)

Keyphrases

international conference
web information systems and mining
ifip wg
computational molecular biology
computer programs
computational intelligence
koli calling
acm sigmod
computer and information science
web intelligence
data mining
genetic algorithm
database systems