Zhaorui Ni

Untersuchen der Rolle von LLMs bei der Generierung von Softwarespezifikationen zur Verifizierung.