automated proof

E. Tumurov V. Shelekhov Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // System Informatics. — . — # 16.  — P. 103-136
Subscribe to automated proof