An introduction to formal program verification
MILI
An introduction to formal program verification Ali Mili - New York Van Nonstrand Reinhold Company Limited 1985 - 291 p. 24 cm
442263228
An introduction to formal program verification Ali Mili - New York Van Nonstrand Reinhold Company Limited 1985 - 291 p. 24 cm
442263228