Formal Methods for Component Software: The Refinement Calculus Perspective Conference Paper

Overview
Identity
Additional Document Info
View All

authors

Büchi, Martin
Sekerinski, Emil

status

published

publication date

1998

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal