| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page