Infoscience

Journal article

Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses

    Reference

    • LARA-ARTICLE-2004-001

    Record created on 2007-08-21, modified on 2016-08-08

Related material