The specification of a robust network
暂无分享,去创建一个
[1] Valdis Berzins,et al. The design and implementation of a specification language type checker , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.
[2] Jill Annette. Weigand. Design and Implementation of a Pretty Printer for the Functional Specification Language SPEC , 1988 .
[3] Valdis Berzins. The design of software interfaces in Spec , 1988, Proceedings. 1988 International Conference on Computer Languages.
[4] Barbara Liskov,et al. Abstraction and Specification in Program Development , 1986 .
[5] David Henry Beebe. The design and implementation of a syntax directed editor for the specification language Spec , 1989 .