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
type: Item
instance of: scholarly article
title: 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
zbMATH Open document ID: 1419.68005
DOI: 10.1007/978-3-030-31157-5
published in: Lecture Notes in Computer Science
publication date: 2019-09-30T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 7111072
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-030-31157-5
OpenAlex ID: W4243454990
Recommended article: Tests and proofs. 12th international conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27--29, 2018. Proceedings
Recommended article: Tests and proofs. 17th international conference, TAP 2023, Leicester, UK, July 18--19, 2023. Proceedings
Recommended article: Tests and proofs. 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22--23, 2020. Proceedings
Recommended article: Tests and proofs. 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22--24, 2015. Proceedings
Recommended article: Tests and proofs. Third international conference, TAP 2009, Zurich, Switzerland, July 2--3, 2009. Proceedings
Recommended article: Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings
Recommended article: Tests and proofs. 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19--20, 2017. Proceedings
Recommended article: Tests and proofs. 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5--7, 2016. Proceedings
Recommended article: Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21--22, 2021. Proceedings
Recommended article: Tests and proofs. Second international conference, TAP 2008, Prato, Italy, April 9--11, 2008. Proceedings
description: scientific article