J. R. Abrial
发表
J. R. Abrial,
A. Hoare,
Pierre Chapron,
1996
.
J. R. Abrial,
1991
.
J. R. Abrial,
A. Hoare,
Pierre Chapron,
1996
.
J. R. Abrial,
A. Hoare,
Pierre Chapron,
1996
.
J. R. Abrial,
A. Hoare,
Pierre Chapron,
1996
.
J. R. Abrial,
A. Hoare,
Pierre Chapron,
1996
.
J. R. Abrial,
A. Hoare,
Pierre Chapron,
1996
.
J. R. Abrial,
A. Hoare,
Pierre Chapron,
1996
.
J. R. Abrial,
Pierre Chapron,
A. Hoare,
1996
.