Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.]

Request this item

Request this item to view in the Library’s reading room.

Loading...