EU COST Action IC0701, Formal Verification of Object-Oriented Software (External organisation)

Activity: Membership typesMembership in research network

See relations at Aarhus University

Anders Møller - Member

  • Department of Computer Science
Navn: Management Committee member
11 Mar 200810 Mar 2012

External organisation

NameEU COST Action IC0701, Formal Verification of Object-Oriented Software

ID: 13092077