![Software engineering / Logic in computer science / Assertion / Debugging / Abstract interpretation / Principles of Programming Languages / Verification / Software development process / Computer programming / Computing / Formal methods Software engineering / Logic in computer science / Assertion / Debugging / Abstract interpretation / Principles of Programming Languages / Verification / Software development process / Computer programming / Computing / Formal methods](https://www.pdfsearch.io/img/bb8370aa38c2b9fa2764e7dfa49161b4.jpg)
| Document Date: 2005-12-09 05:03:31 Open Document File Size: 48,22 KBShare Result on Facebook
City M. Hermenegildo / Abstract Interpretation / Madrid / Puebla / / Company ACM Press / / / Facility Complutense University of Madrid / / IndustryTerm fixpoint algorithms / code supplier / / Organization European Union / Complutense University of Madrid / / Person Elvira Albert / Manuel Hermenegildo / / Position Prince / Asturias Chair in Information Science and Technology / Unified Lattice Model for Static Analysis / / ProvinceOrState New Mexico / /
SocialTag |