An Integrated Approach to Assertion-Based Random Testing in Prolog (Q5097633)

From MaRDI portal
scientific article; zbMATH DE number 7576126
Language Label Description Also known as
English
An Integrated Approach to Assertion-Based Random Testing in Prolog
scientific article; zbMATH DE number 7576126

    Statements

    Identifiers