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

Formal specification and software development / by Bjorner, D. (Dines), 1937-

Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June...

Other Authors: “…Bjorner, D. (Dines), 1937-…”