Using assertions about traces to write abstract specifications for software modules Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Bartussek, Wolfram
Parnas, David

status

published

publication date

1978

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal