Journals in DBLP
Acta Inf.
1995, volume: 32, number: 8
- Gary T. Leavens, William E. Weihl
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction [Citation Graph (0, 0)][DBLP]
Acta Inf., 1995, v:32, n:8, pp:705-778 [Journal] - Chongkye Rhee, Y. Daniel Liang
Finding a Maximum Matching in a Permutation Graph [Citation Graph (0, 0)][DBLP]
Acta Inf., 1995, v:32, n:8, pp:779-792 [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