mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
12th Workshop on Horn Clauses for Verification and Synthesis
Kezdés dátuma: 2025-07-22
Helyszín
Zagreb, Horvátország
Közlemények
2026-02-11 00:34
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás