Non abbiamo ancora una biografia di Natarajan Shankar.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Automated Reasoning
2007
Verified Software : Theories, Tools, Experiments
2008
Automated Formal Methods
2017
Otium