Journals in DBLP
Sci. Comput. Program.
1989, volume: 11, number: 3
- Jiazhen Cai, Robert Paige
Program Derivation by Fixed Point Computation. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1989, v:11, n:3, pp:197-261 [Journal] - Helmuth Partsch
From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1989, v:11, n:3, pp:263-297 [Journal]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002