10. WODA@ISSTA 2012: Minneapolis, MN, USA

Testing and Verification

Cloud and Adaptive Systems

Software and Hardware Design

maintained by Schloss Dagstuhl LZI at University of Trier