Search Results - Bjorner, D. [ (Dines)] , 1937-

Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays by Bjorner, D. [ (Dines)] , 1937-, Zhou, Chaochen , 1937-

Table of contents

VDM '90 : VDM and Z - formal methods in software development by Bjorner, D. [ (Dines)] , 1937-, Hoare, C. A. R. [ (Charles Antony Richard)] , 1934-, Langmaack, Hans