PublicationsΒΆ

  • Rotenberg, Aaron (2020). “Model-Based Verification at Cyient: Dataflow, Types, and SMT Solvers.” (2020-03-27 online seminar at Florida Institute of Technology)