An EVES Data Abstraction Example
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
An EVES Data Abstraction Example
FM, 1993.

FME 1993
Full names Links ISxN
	author        = "Mark Saaltink and Sentot Kromodimoeljo and Bill Pase and Dan Craigen and Irwin Meisels",
	booktitle     = "{Proceedings of the First International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods}",
	doi           = "10.1007/BFb0024668",
	isbn          = "3-540-56662-7",
	pages         = "578--596",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{An EVES Data Abstraction Example}",
	volume        = 670,
	year          = 1993,


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.