Please log in if you want to be notified when Sarfraz Khurshid is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Sarfraz Khurshid is mentioned in an event.

Sarfraz Khurshid


Sarfraz Khurshid has been associated with 14 events and is frequently seen with Darko Marinov, Willem Visser and Daniel Jackson. Sarfraz's main research interests are testing, model and software engineering.

Are you Sarfraz Khurshid? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Sarfraz an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Sarfraz Khurshid Whiteboard


tracker for Sarfraz Khurshid


November 19, 2008

Abstract state machines (asm), alloy, b and z (ABZ10) was updated.

November 18, 2008

Abstract state machines (asm), alloy, b and z (ABZ10) was added.

November 13, 2008

16th international spin workshop on model checking of software (SPIN 2009) was added.

July 29, 2008

5th international workshop on formal aspects of component software (FACS 2008) was updated.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.