Search

People
Projects
Publications
Research Support
IndiCS 2026

Light Dark Automatic

Ilya Sergey

Latest

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite