TYPES4STRINGS: Types For Strings

TYPES4STRINGS: Types For Strings

Jürgen Cito (ORCID: 0000-0001-8619-1271)

Weave: Österreich - Belgien - Deutschland - Luxemburg - Polen - Schweiz - Slowenien - Tschechien

Wissenschaftsdisziplinen

Informatik (100%)

Keywords

    Strings, Type Systems, Automated Testing, Type Grammar Inference

Forschungsstätte(n)
Internationale Projektbeteiligte