J. R. Abrial. The B-Book . Cambridge University Press, to appear in 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Operation Refinement for VDM-like - Specifications Bettina Buth (Correct)
No context found.
J. R. Abrial. The B-Book . Cambridge University Press, to appear in 1995.
Retrenchment and the B-Toolkit - Richard Banach And (Correct)
No context found.
J.R. Abrial. The B Book. Cambridge University Press, 1996.
Using B to verify UML Transformations - Lano Dept Of (Correct)
No context found.
J-R Abrial. TheBBook:AssigningProgramstoMeanings. Cambridge University Press, 1996.
Modal Kleene Algebra and Applications - Survey Jules Desharnais (Correct)
No context found.
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
Specification of a Gas Station using a Formalism - Integrating Formal Datatypes (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Integration of Formal Datatypes within State Diagrams - Christian Attiogb Pascal (2003) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Tools for system validation with B - Machines Michael Butler (Correct)
No context found.
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
On the Design of an Object-oriented Formal Notation - Herranz-Nieva, Moreno-Navarro (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Specifying in the large: Object Oriented Specifications in the .. - Herranz-Nieva (2002) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
From Executable Specifications to Java - Herranz, Maya, Moreno-Navarro (2003) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Specification of a Gas Station Using a Formalism.. - Attiogbe, Salaün, al. (2003) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Integration of Formal Datatypes within State Diagrams - Attiogbé, Poizat, Salaün (2003) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Establishing Formal Regulatory Requirements for.. - Vilkomir, Bowen (2002) (Correct)
No context found.
Abrial, J.-R. The B-Book. Cambridge University Press, 1996.
An Analysis of Total Correctness Refinement Models for.. - Deutsch, Henson (2003) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Modular reasoning in Z: scrutinising monotonicity and.. - Deutsch, Henson, Reeves (2004) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
How to Verify Dynamic Properties of Information Systems - Neil Evans And (Correct)
No context found.
Abrial, J.-R.: The B-Book. Cambridge University Press, 1996.
How to Verify Dynamic Properties of Information Systems - Evans, Treharne, Laleau.. (Correct)
No context found.
Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge, UK, 1996.
Modal Kleene Algebra And Applications - A Survey - Desharnais, Möller, Struth (Correct)
No context found.
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
Unknown - Ning Iterative Programs (Correct)
No context found.
J.R. Abrial. The B-Book. Cambridge University Press, 1996.
Foundations for a Combination of Heterogeneous.. - Salaün, Allemand.. (2002) (Correct)
No context found.
J. R. Abrial. The B-Book. Cambridge University Press, 1996.
Z Logic and its Consequences - Henson, Reeves, Bowen (2003) (Correct)
No context found.
J. R. Abrial: The B-Book. Cambridge University Press, 1996.
Proving Pointer Program Properties - Part 1: Context and overview - Meyer (2003) (Correct)
No context found.
Jean-Raymond Abrial, The B Book, Cambridge University Press, 1995.
Non-refinement Transformations of Software Architectures - Andreas Kerschbaumer.. (Correct)
No context found.
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
ProB: A Model Checker for B - Michael Leuschel And (2003) (3 citations) (Correct)
No context found.
J.-R. Abrial. The B-Book. Cambridge University Press, 1996.
Z Logic And Its Consequences - Henson, Reeves, Bowen (2003) (Correct)
No context found.
J. R. Abrial: The B-Book. Cambridge University Press, 1996.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC