Reasoning about structure, behavior and function
Chandrasekaran, B., Milne, RobLanguage:
english
Journal:
ACM SIGART Bulletin
DOI:
10.1145/1056557.1056561
Date:
July, 1985
File:
PDF, 4.89 MB
english, 1985