• 

  ISoLA 2008 - 3rd International Symposium on Leveraging Applications of Formal Methods

  http://www.cs.uni-potsdam.de/isola2008/?id=program#a16

  Keine Beschreibung vorhanden.

• 

  Der Tagesspiegel - Berlin - Tagesspiegel

  http://www.tagesspiegel.de/berlin/der-tagesspiegel/327840.html

  .

---

---