![Software bugs / Type theory / Void type / Stack / Subroutine / Stack buffer overflow / Computer programming / Computing / Software engineering Software bugs / Type theory / Void type / Stack / Subroutine / Stack buffer overflow / Computer programming / Computing / Software engineering](https://www.pdfsearch.io/img/81f35ecf8651192db72181a3ce6110d3.jpg)
| Document Date: 2013-06-03 11:21:47 Open Document File Size: 465,22 KBShare Result on Facebook
IndustryTerm software verification / / Person Daniel Kroening / Georg Weissenbacher / Matt Lewis / / Position Assistant Professor / / ProgrammingLanguage C / / Technology CAV / / URL http /
SocialTag |