Formal Methods and Models for Codesign, 2008 6th IEEE/ACM International Conference on

Bok · Engelsk

ISBN	1-4244-2417-8