论文信息 - Config: A GRACE tool for constructing configuration trees - 字舞流文

Config: A GRACE tool for constructing configuration trees

Peter Kilpatrick | Ivor Spence | David Maley | David Maley | I. Spence | P. Kilpatrick

[1] Freeman J. Dyson,et al. Irreducible Tensorial Sets , 1960 .

[2] W. D. Robb,et al. A new version of the general program to calculate atomic continuum processes using the r-matrix method , 1984 .

[3] V. M. Burke,et al. Graphical R-matrix atomic collision environment (GRACE) : the problem specification stage , 1993 .

[4] Peter Kilpatrick,et al. The formal specification of abstract data types and their implementation in Fortran 90 , 1994 .

[5] Deri Sheppard. Introduction to Formal Specifications with Z and VDM , 1994 .