Detecting Unrealizable Bit Vector Program Synthesis Problems.

1. Verfasser:

Kamp, Marius

Format:

Elektronisch E-Book

Sprache:

Englisch

Veröffentlicht:

FAU University Press, 2025.

Umfang:

1 online resource

ISBN:

3-96147-794-9

Bezugswerke:

Parallelausgabe: 3-96147-793-0

Links:

Wird geladen...