Normal view MARC view ISBD view

Formal methods of program verification and specification /

Berg, H. K.

Formal methods of program verification and specification / Berg, H. K.

Dewey Class. No.: 005.30287 F74