Program derivation: The development of programs from specification international computer science series

Bibliographic Details
Main Authors: Návrat, Pavol, 1952- (Author), Dromey, R. G. (Author)
Format: Article
Language:English
Subjects: