Author/Creator: Navas, Jorge A - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Navas, Jorge A

1. Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers /: theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers. (2020)

Other Names:: Chakraborty, Supratik; Navas, Jorge A; VSTTE (Conference), 11th
Record Type:: Book
Extent:: 1 online resource (208 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗