Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Folgender Titel konnte gefunden werden
Autor(en)
Dubois, Catherine
Artikel
Proceedings Second International Workshop on Formal Integrated Development Environment: Preface
Titel
Electronic proceedings in theoretical computer science
Band
187
Verlag
EPTCSorg
Ort
[Place of publication not identified]
Erscheinungsjahr
2015
Identifikatoren
ISSN: 2075-2180; eISSN: 2075-2180
Volltextzugriff (PDF)