Verification System for Formal Requirements Description
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno
Verification System for Formal Requirements Description
ICSE, 1982.

ICSE 1982
Full names Links ISxN
	acmid         = "807754",
	author        = "Kiyoshi Agusa and Atsushi Ohnishi and Yutaka Ohno",
	booktitle     = "{Proceedings of the Sixth International Conference on Software Engineering}",
	editor        = "Yutaka Ohno and Victor R. Basili and Hajime Enomoto and Koji Kobayashi and Raymond T. Yeh",
	pages         = "120--126",
	publisher     = "{IEEE Computer Society}",
	title         = "{Verification System for Formal Requirements Description}",
	year          = 1982,


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.