A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams

Johannes Eriksson, Masoumeh Parsa

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)

    Sormenjälki

    Sukella tutkimusaiheisiin 'A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

    Computer Science