SCNA 2012: Aaron Bedra – Pontificating Quantification: Verifying Correctness in Software

Spread the love



Aaron Bedra is a Senior Software Engineer at Groupon working on Groupon’s Now! real-time deals platform. He is the co-author of Programming Clojure, Practical Software Security, and another upcoming Pragmatic Press book.

Twitter: @abedra

Likes: 2

Viewed: 84

source

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.