...

Kiran Wren

  • @wren_ran
  • /
  • /
  • Esbjerg Denmark
6 Uploads

Presentations (6)

Matching Logic Reachability - Bridging Hoare Logic and Verification
Matching Logic Reachability - Bridging Hoare Logic and Verification
Take Action Against Ocean Pollution with this Interactive Quiz!
Take Action Against Ocean Pollution with this Interactive Quiz!
Exploring Kate Chopin's 'The Story of an Hour' Characters and Symbolism
Exploring Kate Chopin's 'The Story of an Hour' Characters and Symbolism
Animal Care and Use in Research and Teaching
Animal Care and Use in Research and Teaching
Promoting HIV Prevention Services Among Female Sex Workers in Benue State Using Social Media Intervention
Promoting HIV Prevention Services Among Female Sex Workers in Benue State Using Social Media Intervention
Decade Long Strategic Plan for 2024-2034: Delivering Key Initiatives for Sustainable Growth
Decade Long Strategic Plan for 2024-2034: Delivering Key Initiatives for Sustainable Growth