Conference
Verifying for Reuse: Foundations of Object-Oriented System Verification.
Authors
Fiadeiro JL; Maibaum TSE
Editors
Hankin C; Mackie I; Nagarajan R
Pagination
pp. 235-257
Publisher
Imperial College Press
Publication Date
January 1, 1994
ISBN-10
1-86094-003-X
Conference proceedings
Theory and Formal Methods