Verification System for Formal Requirements Description
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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
DBLP
Scholar
Full names Links ISxN
@inproceedings{ICSE-1982-AgusaOO,
	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,
}

Tags:



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.