| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Verification: An Essential Toolkit for Modern VLSI Design | 978-O-12-8OO727-3 (O-12-8OO727-3) | 2015 | Erik Seligman · M V Achutha Kiran Kumar |
T.S. · Tammo Seifert · Teen Spirit · Tim Schabert · Tim Seifert · Tim Shephard · Tim Svart · Tino Schubert · Tom Shepherd · Tom Sheppard · Tom Sieverts · Tone Sverdrup