Computer Aided Verification

Overview of attention for book

Cover of 'Computer Aided Verification'

Table of Contents

Altmetric Badge

Book Overview

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

q&a: 1 Q&A thread

Citations

dimensions_citation: 7 Dimensions

Readers on

mendeley: 3 Mendeley

Summary Q&A Dimensions citations

So far, Altmetric has seen 1 Q&A post.

Most memorable CS paper titles

Posted by R B, at cstheory.stackexchange.com, 22 Oct 2014

Following a fruitful question in MO, I thought it would be worthwhile to discuss some notable paper names in CS. It is quite…

This page shows the most recent Q&A posts that mention this research output.

Click here to find out how to access more activity.