Requirements reformulation using formal specification: A case study

---

Autoria(s): Wildman, L. P.

Contribuinte(s)	C. Lakos R. Esser L.M. Kristensen J. Billington
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:97179
Publicador	Australian Computer Society Inc.
Palavras-Chave	#E1 #610101 Navy #280302 Software Engineering
Tipo	Conference Paper