Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(316)
Jonathan P. Bowen
24
Susan Stepney
13
Ian Toyn
10
Samuel H. Valentine
8
Fiona A. C. Polack
8
John Derrick
8
David Carrington
7
Graeme Smith
7
Eerke A. Boiten
6
Michael J. Butler
6
Keywords
(351)
Subscribe
Academic
Conferences
ZUM - Z Users Conference
ZUM - Z Users Conference
Publications: 311
|
Citation Count: 3,019 (Self-Citation: 332)
|
H-Index: 25Year Range: 1987-2005
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(311)
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL
(
Citations: 32
)
Frédéric Badeau
,
Arnaud Amelot
Conference:
Z Users Conference - ZUM
, pp. 334-354, 2005
Model Checking Z Specifications Using SAL
(
Citations: 21
)
Graeme Smith
,
Luke Wildman
Conference:
Z Users Conference - ZUM
, pp. 85-103, 2005
CZT: A Framework for Z Tools
(
Citations: 18
)
Petra Malik
,
Mark Utting
Conference:
Z Users Conference - ZUM
, pp. 65-84, 2005
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ
(
Citations: 10
)
Ian Toyn
,
Andy Galloway
Conference:
Z Users Conference - ZUM
, pp. 104-123, 2005
An Object-Oriented Structuring for Z Based on Views
(
Citations: 11
)
Nuno Amálio
,
Fiona Polack
,
Susan Stepney
Conference:
Z Users Conference - ZUM
, pp. 262-278, 2005