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

Andreas Podelski


Andreas Podelski has been associated with 19 events and is connected with Andrey Rybalchenko, Byron Cook and Witold Charatonik. Andreas' main research interests are model checking, software and model.

Are you Andreas Podelski? 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 Andreas 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

Facts about Andreas Podelski


 

How

Num results per page:

people:

 

How

Num results per page:

When

Is upcoming:

Has upcoming deadline:

events:

 

How

Num results per page:

topics:

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.

Whiteboard RSS for Andreas Podelski Whiteboard