Flexible Module Operation Scheme in Formal Specification Process

A
APSEC
1995
Second Asia-Pacific Software Engineering Conference (APSEC'95)
Abstract - Flexible Module Operation Scheme in Formal Specification Process

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by H. Horai

Second Asia-Pacific Software Engineering Conference (APSEC'95)

Brisbane, Australia

December 06-December 09

ISBN: 0-8186-7171-8

	ASCII Text	x
	H. Horai, "Flexible Module Operation Scheme in Formal Specification Process," Asia-Pacific Software Engineering Conference, pp. 399, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995.

	BibTex	x
	@article{ 10.1109/APSEC.1995.496989, author = {H. Horai}, title = {Flexible Module Operation Scheme in Formal Specification Process}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {1995}, isbn = {0-8186-7171-8}, pages = {399}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.496989}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Flexible Module Operation Scheme in Formal Specification Process SN - 0-8186-7171-8 SP EP A1 - H. Horai, PY - 1995 VL - 0 JA - Asia-Pacific Software Engineering Conference ER -

H. Horai

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.496989

Citation:

H. Horai, "Flexible Module Operation Scheme in Formal Specification Process," apsec, pp.399, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.