Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings
Saved in:
Format | eBook |
---|---|
Language | English |
Published |
Netherlands
Springer Nature
2016
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
ISBN: | 331941528X 9783319415284 |
---|