Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Katsaros, Panagiotis.
Overview
Works:
0 works in 1 publications in 1 languages
Titles
Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by: (1998 :); Katsaros, Panagiotis.; Nenzi, Laura.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Computer software
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Algorithms.
Formal Languages and Automata Theory.
Artificial Intelligence.
Compilers and Interpreters.
Processing
...
Change password
Login
