A Survey of Verification Techniques for Parallel Programs
Howard Barringer
₹2,265
Author
Books by Howard Barringer
Showing 1–2 of 2 books
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner
₹5,647
Author
Showing 1–2 of 2 books
Howard Barringer
₹2,265
Howard Barringer, Ylies Falcone, Bernd Finkbeiner
₹5,647