| |
| 1991 | ||
|---|---|---|
| 3 | David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software 8(1): 74-84 (1991) | |
| 1989 | ||
| 2 | Shuzo Takahashi: Monotone Inductive Definitions in a Constructive Theory of Functions and Classes. Ann. Pure Appl. Logic 42(3): 255-297 (1989) | |
| 1 | Patrick Suppes, Shuzo Takahashi: An Interactive Calculus Theorem-Prover for Continuity Properties. J. Symb. Comput. 7(6): 573-590 (1989) | |
| 1 | David C. Luckham | [3] |
| 2 | Sriram Sankar | [3] |
| 3 | Patrick Suppes | [1] |