Mixed testing/proving techniques for program correctness

Bibliographic Details
Main Author:	Hořejš, Jiří, 1933-2001 (Author)
Format:	Article
Language:	Slovak English
Subjects:	programy počítačové články z novín a časopisov

Similar Items