| |
| 1990 | ||
|---|---|---|
| 3 | Benedetto L. DiVito, P. H. Palmquist, E. R. Anderson, M. L. Johnston: Specification and Verification of the ASOS Kernel. IEEE Symposium on Security and Privacy 1990: 61-75 | |
| 1978 | ||
| 2 | E. R. Anderson, F. C. Belz, Edward K. Blum: Extending an implementation language to a specification language. Mathematical Studies of Information Processing 1978: 384-424 | |
| 1976 | ||
| 1 | E. R. Anderson, F. C. Belz, Edward K. Blum: SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. Acta Inf. 6: 109-131 (1976) | |
| 1 | F. C. Belz | [1] [2] |
| 2 | Edward K. Blum | [1] [2] |
| 3 | Benedetto L. DiVito | [3] |
| 4 | M. L. Johnston | [3] |
| 5 | P. H. Palmquist | [3] |