Tonetta, Stefano.
Overview
Works: | 4 works in 3 publications in 1 languages |
---|
Titles
Verified softwaretheories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers /
by:
(1998 :); Lal, Akash.; SpringerLink (Online service); Tonetta, Stefano.
(Electronic resources)
Computer safety, reliability, and securitySAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Schoitsch, Erwin.; SpringerLink (Online service); Tonetta, Stefano.
(Electronic resources)
Computer safety, reliability, and security36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Schoitsch, Erwin.; SpringerLink (Online service); Tonetta, Stefano.
(Electronic resources)
Subjects
Software Engineering.
Logics and Meanings of Programs.
Logic in AI.
Computer systems
Computer software
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer security
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer networks
Computer Hardware.
Computer System Implementation.
Computer Applications.