Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu ictac!
Hier klicken für Ihr Exposé |
Wilfred Wachter
By now the excitement is building towards the 13th ICTAC ... Dr. Wilfred Wachter, Madaus AG, Koln, Germany. As always, your help will be much appreciated. ...
Augusto Sampaio
16 Dec 2008 ... From OpenResearch.org. Jump to: navigation, search. vCard Augusto Sampaio. Field : Science. Position: Person. PC member of: ICTAC 09 ...
Hassen Saidi
ICTAC'09 is organized by Abdullah Mohd Zin, Universiti Kebangsaan Malaysia and Jeff Sanders, …
Toshiaki Aoki
Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama: A Minimized Assumption Generation Method for Component-Based Software Verification. ICTAC 2009: 277-291
Patricia Machado
ICTAC 2010: SPECIAL TRACK on the Grand Challenge on Verified Software: 10 Feb 2010 … Patricia Machado, Brazil Marius Minea, Romania Ali Mili, USA Michael …
Jens Schönborn
Authors: Jens Schönborn Marcel Kyas Organization: ICTAC How We Think of Com…ng Today.
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ