Deriving declarations from programs: extended abstract

    Publikation: KonferencebidragPaperForskningpeer review

    OriginalsprogEngelsk
    Publikationsdato1997
    StatusUdgivet - 1997
    BegivenhedCPP'97: Workshop on Constraint Programming for Reasoning about Programming - Leeds, Storbritannien
    Varighed: 9 apr. 199710 apr. 1997

    Konference

    KonferenceCPP'97: Workshop on Constraint Programming for Reasoning about Programming
    Land/OmrådeStorbritannien
    ByLeeds
    Periode09/04/199710/04/1997

    Citer dette