Abstract software specifications : 1979 Copenhagen Winter School, January 22- February 2, 1979 : proceedings / by Bjorner, D. (Dines), 1937-

Logics of specification languages / by Bjorner, D. (Dines), 1937-, Henson, Martin C.

Forman specification and software development / by Bjorner, D. (Dines), 1937-, Jones, Cliff B.

The Vienna development method : the meta-language / by Bjorner, D. (Dines), 1937-, Jones, C. B.

Software engineering 2 : [electronic book] specification of systems and languages / by Bjorner, D. (Dines), 1937-, SpringerLink (Online service)

Get full text

VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings

Other Authors: “…Bjørner, D…”