Pages that link to "Item:Q1686911"
From MaRDI portal
The following pages link to Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22--23, 2017. Revised selected papers (Q1686911):
Displaying 1 item.