Experts has a new look! Let us know what you think of the updates.

Provide feedback

Scholarly Works

Concolic Unbounded-Thread Reachability via Loop...

Concolic Unbounded-Thread Reachability via Loop Summaries.

Authors

Liu P; Wahl T

Editors

Ogata K; Lawford M; Liu S

Series

Lecture Notes in Computer Science

Volume

10009

Pagination

pp. 346-362

Publication Date

2016

ISBN-13

978-3-319-47845-6

Conference proceedings

ICFEM

Associated Experts

Mark Lawford

Professor, Faculty of Engineering

View published work (Non-McMaster Users)