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) […]
Read More… from Calling this a publication might be overselling it