DOI

Original languageEnglish
Pages (from-to)511-524
Number of pages14
JournalCEUR Workshop Proceedings
Volume2260
DOIs
Publication statusPublished - 1 Jan 2018
Event20th Conference Scientific Services and Internet, SSI 2018 - Novorossiysk-Abrau, Russian Federation
Duration: 17 Sept 201822 Sept 2018

    OECD FOS+WOS

    Research areas

  • Deductive verification, Dual pivot quicksort, PVS, SMT solver

ID: 18200475