Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Natarajan Shankar
Natarajan Shankar
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
4
Verified Software : Theories, Tools, Experiments
Automated Formal Methods
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Automated Reasoning
