|
|
||||||||||
English
Deutsch
Verified Software: Theories, Tools, Experiments
The department of computer science at the ETH Zürich is hosting an international conference on "Verified Software: Theories, Tools, Experiments" as a part of ETH's 150th anniversary celebration.
VSTTE is a unique conference that will bring together the world's most influential researchers in the field, determinded to address a "Grand Challenge" of crucial relevance to society: ensuring that the software of the future will be error-free.
VSTTE is an official working conference of Working Group 2.3 (Programming Methodology) of the International Federation for Information Processing.
More information at http://vstte.inf.ethz.ch.
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
