Author

Natarajan Shankar

4 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

4 books
Automated Formal Methods

Automated Formal Methods

Year unknown
Automated Reasoning

Automated Reasoning

Year unknown Ulrich Furbach and Natarajan Shankar
Mechanical verification of a sche...

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Year unknown
Verified Software : Theories, Too...

Verified Software : Theories, Tools, Experiments

Year unknown Natarajan Shankar and Jim Woodcock

Fetched from OpenLibrary. Some translations may appear as separate works.