Proceedings of the 3rd international conference on Formal specification and development in Z and B

Authors:
Didier Bert;Jonathan P. Bowen;Steve King;Marina Waldén
Affiliations:
CNRS, Laboratoire LSR-IMAG, Saint-Martin-d'Heres Cedex, France;London South Bank University, London, UK;University of York, Department of Computer Science, Heslington, York, UK;Åbo Akademi University, Department of Computer Science, Turku, Finland
Venue:
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Year:
2003

Citing 0
Cited 3

Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models

Information and Software Technology
A relational investigation of UTP designs and prescriptions

UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Time constraint patterns for event b development

B'07 Proceedings of the 7th international conference on Formal Specification and Development in B

Quantified Score

Hi-index	0.00

Visualization

Abstract