Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

S. Etalle (Redacteur), J.G. Smaus (Redacteur)

    Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijElsevier
    Aantal pagina's125
    StatusGepubliceerd - 1999

    Publicatie series

    NaamElectronic Notes in Theoretical Computer Science
    Nr.1
    Volume30
    ISSN van geprinte versie1571-0661

    Citeer dit