Transformational Verification of Quicksort

Бібліографічні деталі

Опубліковано в::	arXiv.org (Aug 7, 2020), p. n/a
Автор:	De Angelis, Emanuele
Інші автори:	Fioravanti, Fabio, Proietti, Maurizio
Опубліковано:	Cornell University Library, arXiv.org
Предмети:	Translating Algorithms Program verification (computers) Transformations Properties (attributes) Logic programs Functional programming Constraints Data structures Programming languages
Онлайн доступ:	Citation/Abstract Full text outside of ProQuest
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!