( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Methods Fact vs. Fiction.

, , , и . TRI-Ada, стр. 256-258. ACM, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Другие публикации лиц с тем же именем

Formal Verification of Ada Programs., , и . Larch, стр. 104-141. Springer, (1992)Formal methods in the THETA kernel., , , и . S&P, стр. 88-100. IEEE Computer Society, (1995)Formally Specifying the Logic of an Automatic Guidance Controller.. Ada-Europe, том 499 из Lecture Notes in Computer Science, стр. 372-383. Springer, (1991)Formal Methods Fact vs. Fiction., , , и . TRI-Ada, стр. 256-258. ACM, (1994)Penelope, an Ada verification system.. TRI-Ada, стр. 216-224. ACM, (1989)