...

Syhir Buffalo

  • @sbuff
  • /
  • /
  • Sandakan Malaysia
3 Uploads

Presentations (3)

Verifying Concurrent C Programs with VCC, Boogie, and Z3
Verifying Concurrent C Programs with VCC, Boogie, and Z3
Coulomb’s Law and the Electric Field
Coulomb’s Law and the Electric Field
Enhancing Council Effectiveness: Strategies for Public Engagement
Enhancing Council Effectiveness: Strategies for Public Engagement