...

Rio Botts

  • @bott_ri
  • /
  • /
  • Cuernavaca Mexico
5 Uploads

Presentations (5)

Understanding Loop Invariants, Hoare Triples, and Version Control
Understanding Loop Invariants, Hoare Triples, and Version Control
Exploring Belonging and Identity in the Neoliberal University Context
Exploring Belonging and Identity in the Neoliberal University Context
Innovative Solar-Powered Water Purification Solution
Innovative Solar-Powered Water Purification Solution
Smart Contract Security and Verification
Smart Contract Security and Verification
Medicare and Retiree Health Benefits
Medicare and Retiree Health Benefits