Linköping University: Students Alumni Trade and Industry/Society Internal Search

Gallery / 2003 / 2003.12.12 - Daniel's Lic defence

2003.12.12 - Daniel's Lic defence

Thesis Title: "Towards Formal Verification in a Component-based Reuse Methodology"
Opponent: Ingo Sander, Microelectronics and Information Technology, Royal Institute of Technology, Stockholm.

Photos By:

  • Traian Pop