The following pages link to Preface (Q5971200):
Displaying 4 items.
- Preface for the special issue for ATVA 2015 (Q1629742) (← links)
- Selected extended papers of VSTTE 2016 (Q1703005) (← links)
- Preface of the special issue on the conference on computer-aided verification 2018 (Q2050099) (← links)
- Special issue on automated specification and verification of web systems (Q2436506) (← links)