Languages
Kosmatov, Nikolai.
Overview
| Works: | 3 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Integrated formal methods = 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings /
by:
Kosmatov, Nikolai.; SpringerLink (Online service); Kovács, Laura.; International Conference on Integrated Formal Methods (2024 :)
(Electronic resources)
Testing software and systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings /
by:
ICTSS (Conference) (2019 :); Gaston, Christophe.; Kosmatov, Nikolai.; Le Gall, Pascale.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
Blanchette, Jasmin Christian.; Kosmatov, Nikolai.; SpringerLink (Online service)
(Electronic resources)
Guide to software verification with Frama-C = core components, usages, and applications /
by:
Kosmatov, Nikolai.; SpringerLink (Online service); Prevosto, Virgile.; Signoles, Julien.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Frama-C (Computer program)
Logics and Meanings of Programs.
Programming Language.
Programming Techniques.
Computing Milieux.
Software Testing.
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Formal methods (Computer science)
Computer software- Testing
Coding and Information Theory.
Artificial Intelligence.
Computational Mathematics and Numerical Analysis.
Computer software- Verification
Computer Science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.