Abstract Specification of PKC/Input
Jump to navigation
Jump to search
- Existing system architecture specifications and design documents of the previous generation of PKC.
- Data-intensive system design methodology and knowledge representation tools.
- Specifying Systems by Leslie Lamport.