Pages that link to "Item:Q1652724"
From MaRDI portal
The following pages link to Tests and proofs. 12th international conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27--29, 2018. Proceedings (Q1652724):
Displaying 4 items.
- Tests and proofs. 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5--7, 2016. Proceedings (Q298994) (← links)
- 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 (Q2325850) (← links)
- Tests and proofs. 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22--24, 2015. Proceedings (Q2355125) (← links)
- Tests and proofs. 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19--20, 2017. Proceedings (Q2362257) (← links)