UP | HOME

Selected Publications

Papers

Incremental Transitive Closure for Zonal Abstract Domain

Short paper accepted at NASA Formal Methods 2022.

Books and Such

Learning Elixir

Introductory text into Elixir/OTP Application Development.