Forskning ved Københavns Universitet - Københavns Universitet

Forside

Formal, Model-oriented Software Development Methods: From VDM to ProCoS and from RAISE to LaCoS

Publikation: Bidrag til tidsskriftTidsskriftartikel

  • D. Björner
  • A. Haxthausen
  • Klaus Havelund
OriginalsprogEngelsk
TidsskriftFuture Generation Computer Systems
Udgave nummer7, 91/92
StatusUdgivet - 1992

ID: 237826