Languages
ISoLA (Symposium) (2021 :)
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
SpringerLink (Online service); ISoLA (Symposium) (2021 :); Bartocci, Ezio.; Falcone, Ylies.; Leucker, Martin.; Havelund, Klaus, (1955-)
(Electronic resources)
Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings /
by:
ISoLA (Symposium) (2021 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Subjects
Software engineering
Theory of Computation.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
Artificial Intelligence.
Computer software- Verification
Computer Applications.