Formal, model-oriented software development methods: from VDM to ProCoS & from RAISE to LaCoS

• Authors:

• Dines Bjørner;Anne Elisabeth Haxthausen;Klaus Havelund

• Affiliations:

• -;-;-

• Venue:
• Future Generation Computer Systems - Special double issue: InfoJapan '90
• Year:
• 1992