Cita APA

Blázquez Saborido, J. (2022). Verification of tree-like data structures with iterators in Dafny.

Citación estilo Chicago

Blázquez Saborido, Jorge. Verification of Tree-like Data Structures With Iterators in Dafny. 2022.

Cita MLA

Blázquez Saborido, Jorge. Verification of Tree-like Data Structures With Iterators in Dafny. 2022.

Precaución: Estas citas no son 100% exactas.