Pages that link to "Item:Q464749"
From MaRDI portal
The following pages link to Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3--7, 2014. Proceedings (Q464749):
Displaying 4 items.
- Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17--20, 2016. Proceedings (Q323773) (← links)
- Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings (Q363484) (← links)
- Probabilistic black-box reachability checking (extended version) (Q2008284) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)