selected publications

• conference paper

  • Using contract-based component specifications for virtual integration testing and architecture design.  . 2011