Pages that link to "Item:Q831332"
From MaRDI portal
The following pages link to Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings (Q831332):
Displaying 2 items.