Infoscience

Conference paper

Test Selection Method to Validate Concurrent Programs against their Specifications

    Keywords: Conform

    Note:

    (Also Available as Technical Report EPFL-DI No 95/101)

    Reference

    • LGL-CONF-1995-012

    Record created on 2005-09-20, modified on 2016-08-08

Related material