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...
Progress in organic coatings, 2007-06, Vol.59 (3), p.192-196
2007
Volltextzugriff (PDF)

Progress in organic coatings, 2005-04, Vol.52 (4), p.257-262
2005
Volltextzugriff (PDF)



Formal aspects of computing, 2006-06, Vol.18 (2), p.143-151
2006
Volltextzugriff (PDF)




Electronic notes in theoretical computer science, 2004-05, Vol.95, p.3-22
2004
Volltextzugriff (PDF)

Open Access
Non-interference through determinism
Journal of computer security, 1996-01, Vol.4 (1), p.27-53
1996
Volltextzugriff (PDF)

Open Access
A tactic calculus : Abridged version
Formal aspects of computing, 1996-07, Vol.8 (4), p.479-489
1996
Volltextzugriff (PDF)

Open Access
The Rudiments of Algorithm Refinement
Computer journal, 1992-10, Vol.35 (5), p.441-450
1992
Volltextzugriff (PDF)

VDM '90 VDM and Z — Formal Methods in Software Development, 1990, p.340-351
1990
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2005-07, Vol.137 (2), p.5-22
2005
Volltextzugriff (PDF)

A tutorial on the refinement calculus
VDM '91 Formal Software Development Methods, 1991, p.79-140
1991
Volltextzugriff (PDF)

IEE proceedings. Software, 2003-04, Vol.150 (2), p.85
2003
Volltextzugriff (PDF)

IBM journal of research and development, 1987-09, Vol.31 (5), p.535-545
1987
Volltextzugriff (PDF)


Structuring specifications in Z
Software engineering journal, 1989, Vol.4 (1), p.51
1989
Volltextzugriff (PDF)

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