Amanote Research
Register
Sign In
Verification Procedures Supporting Software Systems Development
doi 10.1109/mark.1979.8817299
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 1979
Authors
GRUIA-CATALIN ROMAN
Publisher
IEEE