Static and Runtime Verification, Competitors or Friends?: (Track Summary) 2016 (English)In: LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, p. 397-401Conference paper, Published paper (Refereed)

Place, publisher, year, edition, pages

2016. p. 397-401

Series

Lecture Notes in Computer Science, ISSN 0302-9743 ; 9952

National Category

Computer Sciences

Identifiers

URN: urn:nbn:se:kth:diva-199816DOI: 10.1007/978-3-319-47166-2_27ISI: 000389939100027Scopus ID: 2-s2.0-84994048591ISBN: 978-3-319-47166-2 (print)ISBN: 978-3-319-47165-5 (print)OAI: oai:DiVA.org:kth-199816DiVA, id: diva2:1065670

Conference

7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), OCT 10-14, 2016, Corfu, GREECE

Note

QC 20170116

Available from: 2017-01-16 Created: 2017-01-16 Last updated: 2022-06-27Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Gurov, Dilian

Search in DiVA

By author/editor

Gurov, Dilian

By organisation

Theoretical Computer Science, TCS

On the subject

Computer Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 55 hits