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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Computer speech & language, 2020-07, Vol.62, p.101052, Article 101052
2020
Volltextzugriff (PDF)

Software testing, verification & reliability, 2020-05, Vol.30 (3), p.n/a
2020
Volltextzugriff (PDF)

Automated software engineering, 2007-12, Vol.14 (4), p.369-418
2007
Volltextzugriff (PDF)

International journal of systems and service oriented engineering, 2015-10, Vol.5 (4), p.1-25
2015
Volltextzugriff (PDF)

Formal aspects of computing, 2011-01, Vol.23 (1), p.43-71
2011
Volltextzugriff (PDF)


IEEE transactions on services computing, 2023-07, Vol.16 (4), p.1-14
2023
Volltextzugriff (PDF)


Software testing, verification & reliability, 2006-09, Vol.16 (3), p.133-156
2006
Volltextzugriff (PDF)


Open Access
Experiences using Z2SAL
2014 International Conference on Advanced Computer Science and Information System, 2014, p.225-231
2014
Volltextzugriff (PDF)

Extreme Programming and Agile Processes in Software Engineering, 2005, p.118-126
2005
Volltextzugriff (PDF)


Formal aspects of computing, 2011, Vol.23 (1), p.43-71
2011
Volltextzugriff (PDF)

Open Access
Building a refinement checker for Z
Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.37-52
2011
Volltextzugriff (PDF)





2019 International Conference on High Performance Computing & Simulation (HPCS), 2019, p.567-574
2019
Volltextzugriff (PDF)


Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications : Vancouver, British Columbia, Canada; 18-22 Oct. 1998, 1998, p.65-83
1998
Volltextzugriff (PDF)

2014 IEEE 6th International Conference on Cloud Computing Technology and Science, 2014, p.751-754
2014
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n