Tests and Proofs

Record link:

Title:

Citation:

Meinke, K., & Kovacs, L. (Eds.). (2022). Tests and Proofs (Vol. 13361). Springer-Verlag. https://doi.org/10.1007/978-3-031-09827-7

Publisher DOI:

Publication Type:

Proceedings - Full Paper Book

Language:

English

Editors:

Meinke, Karl
Kovacs, Laura

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Series:

Lecture Notes in Computer Science

ISBN:

978-3-031-09826-0
978-3-031-09827-7

Volume:

13361

Date (published):

1-Jun-2022

Keywords:

software tests; formal proofs; formal methods

Project title:

Automated Reasoning with Theories and Induction for Software Technologies: ERC Consolidator Grant 2020 (European Commission)

Research Areas:

Computer Science Foundations: 100%

Science Branch:

1020 - Informatik: 100%

Appears in Collections:

Show full item record

163

checked on Nov 23, 2023

Check