dc:subject
|
Abstract data types, Abstraction and representation, Correctness, Encapsulation, Formal specification, Modular decomposition, Programming languages, Programming methodology, Proofs of correctness, Types, Validation, Verification
(xsd:string)
|