32nd International Conference on Software Engineering (ICSE 2010)

Andreas Classen (Speaker)

University of Namur

Activity: Participating in or organising an event types › Participation in conference

Description

Presenting the paper "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines" in the research track of the main conference. Attending the main conference and tutorials by Nenad Medvidovic (USC), Richard N.

Period	3 May 2010 → 7 May 2010
Event type	Conference
Location	Cape Town, South AfricaShow on map

Documents & Links

http://www.sbs.co.za/ICSE2010/