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... - Autor(en)
- Dubois, Catherine
- Artikel
- Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016
- Titel
- Electronic proceedings in theoretical computer science.
- Verlag
- EPTCSorg
- Ort
- [Place of publication not identified] :
- Erscheinungsjahr
- 2009
Es wurden folgende elektronische Volltexte gefunden
Freie Ressource
Verfügbar von 2008.;