Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
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.
Bernard, Pascal
and
Laffitte, Guy
1995.
ZUM '95: The Z Formal Specification Notation.
Vol. 967,
Issue. ,
p.
334.
Bertino, Elisa
Castelli, Donatella
and
Vitale, Federica
1996.
SOFSEM'96: Theory and Practice of Informatics.
Vol. 1175,
Issue. ,
p.
327.
Ledru, Yves
and
Potet, Marie-Laure
1996.
Formal Methods for Industrial Applications.
Vol. 1165,
Issue. ,
p.
283.
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.
Fraer, Ranan
1996.
Algebraic Methodology and Software Technology.
Vol. 1101,
Issue. ,
p.
241.
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.
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.
Blazy, S.
and
Facon, P.
1997.
Application of formal methods to the development of a software maintenance tool.
p.
162.
Lano, K.
and
Sanchez, A.
1997.
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods.
Vol. 1313,
Issue. ,
p.
142.
Mermet, Bruno
and
Méry, Dominique
1997.
Safe Comp 97.
p.
265.
Ray, I.
and
Ammann, P.
1997.
Using the B-toolkit to ensure safety in SCR specifications.
p.
1.
Butler, Michael
1997.
ZUM '97: The Z Formal Specification Notation.
Vol. 1212,
Issue. ,
p.
221.
Santen, Thomas
1997.
Theorem Proving in Higher Order Logics.
Vol. 1275,
Issue. ,
p.
243.
Abrial, J.-R.
and
Mussat, L.
1997.
Mathematical Methods in Program Development.
p.
129.