Author/Creator: Reger, Giles - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Reger, Giles

1. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017)

Editors:: Lahiri, Shuvendu; Reger, Giles
Other Names:: RV (Conference), 17th
Record Type:: Book
Extent:: 1 online resource (xix, 432 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗