Autor der Publikation

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

, , , , , , , , und . Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13243 von LNCS, Seite 480-501. Springer, (2022)
DOI: 10.1007/978-3-030-99524-9

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Dragoste, Irina
Eine Person hinzufügen mit dem Namen Dragoste, Irina
 

Weitere Publikationen von Autoren mit dem selben Namen