Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Bernard, Pascal
and
Laffitte, Guy
1995.
ZUM '95: The Z Formal Specification Notation.
Vol. 967,
Issue. ,
p.
334.
Strulo, Ben
1995.
ZUM '95: The Z Formal Specification Notation.
Vol. 967,
Issue. ,
p.
264.
Taouil-Traverson, S.
and
Vignes, S.
1995.
Preliminary analysis cycle for B-method software development.
p.
319.
Romdhani, M.
Hautbois, R.P.
Jeffroy, A.
de Chazelles, P.
and
Jerraya, A.A.
1995.
Evaluation and composition of specification languages, an industrial point of view.
p.
519.
Fraer, Ranan
1996.
Algebraic Methodology and Software Technology.
Vol. 1101,
Issue. ,
p.
241.
Ledru, Yves
and
Potet, Marie-Laure
1996.
Formal Methods for Industrial Applications.
Vol. 1165,
Issue. ,
p.
283.
Bertino, Elisa
Castelli, Donatella
and
Vitale, Federica
1996.
SOFSEM'96: Theory and Practice of Informatics.
Vol. 1175,
Issue. ,
p.
327.
Hoare, Jonathan
Dick, Jeremy
Neilson, Dave
and
Sørensen, Ib
1996.
FME'96: Industrial Benefit and Advances in Formal Methods.
Vol. 1051,
Issue. ,
p.
74.
Lano, Kevin
1996.
The B Language and Method.
p.
195.
Bieber, P.
1996.
Formal techniques for an ITSEC-E4 secure gateway.
p.
236.
Habrias, H.
and
Griech, B.
1997.
Formal specification of dynamic constraints with the B method.
p.
304.
Grégoire, J. -Ch.
1997.
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods.
Vol. 1313,
Issue. ,
p.
378.
Ray, I.
and
Ammann, P.
1997.
Using the B-toolkit to ensure safety in SCR specifications.
p.
1.
Lano, K.
and
Sanchez, A.
1997.
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods.
Vol. 1313,
Issue. ,
p.
142.
Blazy, S.
and
Facon, P.
1997.
Application of formal methods to the development of a software maintenance tool.
p.
162.
Mermet, Bruno
and
Méry, Dominique
1997.
Safe Comp 97.
p.
265.
Lano, K.
1997.
ZUM '97: The Z Formal Specification Notation.
Vol. 1212,
Issue. ,
p.
242.
Bicarregui, J.C.
Clutterbuck, D.L.
Finnie, G.
Haughton, H.
Lano, K.
Lesan, H.
Marsh, D.W.R.M.
Matthews, B.M.
Moulding, M.R.
Newton, A.R.
Ritchie, B.
Rushton, T.G.A.
and
Scharbach, P.N.
1997.
Formal methods into practice: case studies in the application of the B method.
IEE Proceedings - Software Engineering,
Vol. 144,
Issue. 2,
p.
119.
Mermet, B.
and
Mery, D.
1997.
Incremental specification of telecommunication services.
p.
60.
Abrial, J.-R.
and
Mussat, L.
1997.
Mathematical Methods in Program Development.
p.
129.