Program verification

書誌詳細
第一著者:	Francez, Nissim
フォーマット:	図書
出版事項:	Wokingham, Eng. Addison-Wesley Pub. c1992.
主題:	Computer software > Verification. Programming.