Calling this a publication might be overselling it Posted on March 25, 2017 (April 23, 2017) by status Sure, Google scholar, that’s a thing we made, but calling it a publication might be overselling it just a little bit… (it was a presentation we did as part of a course on software verification)