| |
| 2008 | ||
|---|---|---|
| 2 | EE | Michael J. A. Smith: Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. Electr. Notes Theor. Comput. Sci. 220(3): 43-59 (2008) |
| 2007 | ||
| 1 | EE | Michael J. A. Smith: Stochastic Modelling of Communication Protocols from Source Code. Electr. Notes Theor. Comput. Sci. 190(3): 129-145 (2007) |