formal specification and the production of correct software

RecordNumber
531
CallNo
531A
Author
Ince, Darrel
Title of Article
formal specification and the production of correct software
Title Of Periodical
the mathematical intelligencer
PublishInfo
New York :springer ،1984
Volum
6
SerialNumber
2
Page
28-31
Link To Document :
http://math.iranlibs.ir/dL/search/default.aspx?Term=531&Field=0&DTC=11

Ince, Darrel