| |
| 1992 | ||
|---|---|---|
| 3 | EE | Paresh B. Shah, James C. Pleasant: Formal program verification and computability theory. ACM Southeast Regional Conference 1992: 471-473 |
| 1990 | ||
| 2 | EE | James C. Pleasant: Systematic program development and proof: Dromey's method versus top-down refinement. ACM Southeast Regional Conference 1990: 189 |
| 1980 | ||
| 1 | EE | James C. Pleasant: An algorithm for piecewise linear approximations. ACM Southeast Regional Conference 1980: 141-145 |
| 1 | Paresh B. Shah | [3] |