Pages that link to "Item:Q1027727"
From MaRDI portal
The following pages link to Tests and proofs. Third international conference, TAP 2009, Zurich, Switzerland, July 2--3, 2009. Proceedings (Q1027727):
Displaying 3 items.
- 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. 7th international conference, TAP 2013, Budapest, Hungary, June 16--20, 2013. Proceedings (Q2376842) (← links)