Normal view MARC view

Abstract (Topical Term)

Number of records used in: 6
Preferred form: Abstract

Machine generated authority record

Work cat.: (NEDUET)742480: Jackson, D. K 774010, Elements of Style Analyzing a Software Design Feature with a Counterexample Detector