Autor der Publikation

Program Verification using HOL-UNITY.

, , und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Program Verification using HOL-UNITY., , und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1993)A Graphical Tool for Proving Unity Progress., , und . TPHOLs, Volume 859 von Lecture Notes in Computer Science, Seite 17-32. Springer, (1994)The HOL-UNITY Verification System., , , , und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 795-796. Springer, (1995)Graph model of LAMBDA in Higher Order Logic.. HUG, Volume 780 von Lecture Notes in Computer Science, Seite 16-28. Springer, (1993)Recursive Boolean Functions in HOL., und . TPHOLs, Seite 367-377. IEEE Computer Society, (1991)