Martin Hofmann
Martin Hofmann has been associated with 8 events and has a lot in common with Thomas Streicher, Lennart Beringer and Benjamin C. Pierce. Martin's main research interests are computer, semantics and computer science.
Are you Martin Hofmann? 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 Martin an invitation:
The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.
tracker for Martin Hofmann
September 5, 2007
Software technologies concertation on formal methods for components and objects (FMCO 2007) was added.
- People: Martin Hofmann
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.