Reading Length
Home
Speed Tests
Login
Pavithra Prabhakar
Identifiers
Open Library
OL7955337A
Top Subjects
Computer software, verification (1)
Books by Pavithra Prabhakar
Total count: 2
Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected Papers
Springer International Publishing AG
2017-01-01
Formal Modeling and Analysis of Timed Systems
16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Springer
2018-08-26
