Menu
AVACS is funded by
- DFG press release : Seven new SFBs funded (in german)
- Press release of Oldenburg University, 11/21/03 (in german)
- Nordwest Zeitung (Oldenburg) , 11/22/2003 (in german)
- Hunte Report (Oldenburg) , 11/23/2003 (in german)
- Uni-Info (Oldenburg), December 2003, page 1 2 (in german)
- Press release of Albert-Ludwigs-Universität Freiburg, 12/02/03 (in german)
- Article from "Saarbrücker Zeitung", 01/14/04 (in german)
- Deutschlandradio/Deutschlandfunk (02/19/2004): Web article and Audiofile ( mp3 ) (both in german)
- Article by Wulf Rüskamp: Badischen Zeitung Online (02/25/04), Nordwest Zeitung (Oldenburg) (02/20/2004) and Ostfriesenzeitung (Emden/Leer) (02/20/2004) (all german only)
- Article in Computer Zeitung (03/01/04) (german only)
- Article by Klaus Koch: Süddeutsche Zeitung (03/06/04), St. Galler Tagblatt (03/10/04) and Darmstädter Echo (03/17/04) (all german only).
- Article covering the German Verification Day, Uni-Info (Oldenburg), February 2005 (in german)
- Article about Formal Verification by K. Klotz in Technology Review and Spiegel Online (June 2005, in german)
