标签 - software construction
2018
Abstraction Functions and Rep Invariants
软件的多维度视图