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