An Assertional Proof of Red–Black Trees Using Dafny

  1. Peña, R.
Revista:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Año de publicación: 2019

Tipo: Artículo

DOI: 10.1007/S10817-019-09534-Y GOOGLE SCHOLAR
Fuente de los datos: Scopus