COST Action IC0701Formel Verifikation af Objekt-Orienteret Software

Beskrivelse

COST Action IC0701 is a European scientific cooperation. The Action aims to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale
StatusAfsluttet
Effektiv start/slut dato11/03/200810/03/2012

Finansiering

  • COST