Applying the B Technologies on CICS
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen
Applying the B Technologies on CICS
FM, 1996.

FME 1996
Full names Links ISxN
	author        = "Jonathan Hoare and Jeremy Dick and David Neilson and Ib Holm Sørensen",
	booktitle     = "{Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods}",
	doi           = "10.1007/3-540-60973-3_81",
	isbn          = "3-540-60973-3",
	pages         = "74--84",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Applying the B Technologies on CICS}",
	volume        = 1051,
	year          = 1996,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.