Tests and proofs. 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22--23, 2020. Proceedings

DOI10.1007/978-3-030-50995-8MaRDI QIDQ2128402zbMATH OpenOpenAlexFDO

Authors

Publication date 21 April 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-50995-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(6)

• Tests and proofs. Third international conference, TAP 2009, Zurich, Switzerland, July 2--3, 2009. Proceedings
• Tests and proofs. 12th international conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27--29, 2018. Proceedings
• Tests and proofs. 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9--11, 2019. Proceedings
• Tests and proofs. 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22--24, 2015. Proceedings
• Tests and proofs. 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19--20, 2017. Proceedings
• Tests and proofs. 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5--7, 2016. Proceedings

This page was built for publication: Tests and proofs. 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22--23, 2020. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2128402)