Mixed testing/proving techniques for program correctness

Bibliographic Details
Main Author:	Hořejš, Jiří, 1933-2001 (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Obr. 5. Res. angl., rus., lit. 5 zázn. v angl., ruš.
Subjects:	programy počítačové články z novín a časopisov

Description
Physical Description:	Obr. 5. Res. angl., rus., lit. 5 zázn. v angl., ruš.

Similar Items