Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Protzenko, Jonathan.
Overview
Works:
2 works in 1 publications in 1 languages
Titles
Verified softwaretheories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers /
by: (1998 :); Protzenko, Jonathan.; Raad, Azalea.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Logic in AI.
Computer software
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Hardware.
Computer System Implementation.
Processing
...
Change password
Login
