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...

Lecture notes in computer science, 2006, p.101-122
2006
Link zum Volltext



Formal aspects of computing, 2006-09, Vol.18 (3), p.329-363
2006
Link zum Volltext


Formal aspects of computing, 2003-07, Vol.15 (1), p.48-83
2003
Link zum Volltext

Open Access
Investigating Z
Journal of logic and computation, 2000-02, Vol.10 (1), p.43-73
2000
Link zum Volltext

Lecture notes in computer science, 2003, Vol.2651, p.148-167
2003
Link zum Volltext





CZT: A Framework for Z Tools
Lecture notes in computer science, 2005, p.65-84
2005
Link zum Volltext


Formal aspects of computing, 1998-03, Vol.10 (3), p.243-247
1998
Link zum Volltext




2014 Seventh International Conference on Contemporary Computing (IC3), 2014, p.13-18
2014
Link zum Volltext


Process Refinement in B
Lecture notes in computer science, 2005, p.45-64
2005
Link zum Volltext


Non-atomic Refinement in Z and CSP
Lecture notes in computer science, 2005, p.24-44
2005
Link zum Volltext

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