Titel |
Workshop on Trustworthy Software / INTERREG IIIC (http://www.interreg3c.net/). Hrsg.: Serge Autexier ; Stephan Merz ; Leon van der Torre ; Reinhard Wilhelm ; Pierre Wolper |
|---|---|
Beteiligt |
Serge Autexier (Herausgeber)
Stephan Merz (Herausgeber) Leendert van der Torre (Herausgeber) Reinhard Wilhelm (Herausgeber)
Pierre Wolper (Herausgeber)
INTERREG IIIC (http://www.interreg3c.net/) (Sonstige) |
Erschienen |
Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |
Umfang |
Online-Ressource |
ISBN |
978-3-939897-02-6 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Software/Program Verification |
Reihe |
OASIcs - OpenAccess Series in Informatics |
Persistent Identifier |
|
Datensatz-ID |
1011055775 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: