A
Menu
September 21, 2023 conference-paper

Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema

IEEE International Symposium on Intelligent Systems and Informatics (SISY)

DOI: 10.1109/sisy60376.2023.10417933 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 4

1 result

References 0