The SCEAS System
Navigation Menu

Journals in DBLP

Formal Asp. Comput.
1996, volume: 8, number: 1

  1. Paulo S. C. Alencar, Carlos José Pereira de Lucena
    A Logical Framework for Evolving Software Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:3-46 [Journal]
  2. Peter Gorm Larsen, Bo Stig Hansen
    Semantics of Under-determined Expressions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:47-66 [Journal]
  3. Karen Seidel, Paul H. B. Gardiner
    Structured Development of a Virtual Shared Memory System. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:67-85 [Journal]
  4. Martin Simons, Matthias Weber
    An Approach to Literate and Structured Formal Developments. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:86-107 [Journal]
  5. David Billington, R. Geoff Dromey
    The Co-invariant Generator: An Aid in Deriving Loop Bodies. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:1, pp:108-126 [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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002