Towards Deductive Synthesis of Dataflow Networks
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Bengt Jonsson, Zohar Manna, Richard J. Waldinger
Towards Deductive Synthesis of Dataflow Networks
LICS, 1986.

LICS 1986
Full names Links ISxN
	author        = "Bengt Jonsson and Zohar Manna and Richard J. Waldinger",
	booktitle     = "{Proceedings of the First Symposium on Logic in Computer Science}",
	isbn          = "0-8186-0720-3",
	pages         = "26--37",
	publisher     = "{IEEE Computer Society}",
	title         = "{Towards Deductive Synthesis of Dataflow Networks}",
	year          = 1986,


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.