Normal view
MARC view
Protocol Models (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)743686: Higashino, Teruo 143318, Automatic Analysis and Test Case Derivation for a Restricted Class of Lotos Expressions with Data Parameters