|
Search the dblp DataBase
E. R. Anderson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- E. R. Anderson, F. C. Belz, Edward K. Blum
Extending an implementation language to a specification language. [Citation Graph (0, 0)][DBLP] Mathematical Studies of Information Processing, 1978, pp:384-424 [Conf]
- Benedetto L. DiVito, P. H. Palmquist, E. R. Anderson, M. L. Johnston
Specification and Verification of the ASOS Kernel. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 1990, pp:61-75 [Conf]
- E. R. Anderson, F. C. Belz, Edward K. Blum
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP] Acta Inf., 1976, v:6, n:, pp:109-131 [Journal]
Search in 0.001secs, Finished in 0.001secs
|