default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Verification and Security Workshop (IVSW)
4th IVSW 2019: Rhodes Island, Greece
- 4th IEEE International Verification and Security Workshop, IVSW 2019, Rhodes Island, Greece, July 1-3, 2019. IEEE 2019, ISBN 978-1-7281-2671-5 [contents]
3rd IVSW 2018: Costa Brava, Spain
- 3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018. IEEE 2018, ISBN 978-1-5386-6544-2 [contents]
2nd IVSW 2017: Thessaloniki, Greece
- IEEE 2nd International Verification and Security Workshop, IVSW 2017, Thessaloniki, Greece, July 3-5, 2017. IEEE 2017, ISBN 978-1-5386-1708-3 [contents]
1st IVSW 2016: Sant Feliu de Guixols, Spain
- 1st IEEE International Verification and Security Workshop, IVSW 2016, Sant Feliu de Guixols, Spain, July 4-6, 2016. IEEE 2016, ISBN 978-1-5090-1141-4 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-13 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
