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

A. Barros


A. Barros has been associated with 1 event and is connected with F. Le, S. Du and A. Knapp. A.'s main research interests are formal approach, formal analysis and semantics.

Are you A. Barros? 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 A. 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 A. Barros Whiteboard


tracker for A. Barros


April 3, 2008

5th international workshop on web services and formal methods (WS-FM 2008) was added.

» 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.