C. R. Ramakrishnan

Books that list C. R. Ramakrishnan among their authors but not as the lead author: co-written works, collections and compilations.

Model Checking SoftwareEzio Bartocci

Model Checking Software

Ezio Bartocci · 2013