Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Scalable and scope-bounded software verification in Varvel | 3 | 0.38 | 2015 |
| DC2: A framework for scalable, scope-bounded software verification | 13 | 0.71 | 2011 |
| ASR and TTS telecommunications applications in Japan | 3 | 0.46 | 1997 |