Mary Anne Rita Kittler

1938

• Towards certification of computer programs