Share: Title:Generative Programming and Verification - Nada Amin Duration: 38:08 Plays: 2.5K views Published: 7 years ago Download MP3 Download MP4 Simillar Videos ▶️ 31:40 "state Of Xtdb" By Jon Pither 2.5K views • 1 year ago ▶️ 31:58 "bi And Reporting For Datomic" By Arne Brasseur 2.5K views • 1 year ago ▶️ 1:44 Datomic Cloud - Setup 2.5K views • 3 years ago ▶️ 35:21 A Peek Inside Sat Solvers - Jon Smock 2.5K views • 7 years ago