Autor der Publikation

Tool Support for the Refinement Calculus.

, und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 381-394. DIMACS/AMS, (1990)

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

Computer science education at the cross-roads.. Informatics in Higher Education, Volume 128 von IFIP Conference Proceedings, Seite 120-126. Chapman & Hall, (1997)Computer Assistance for Program Refinement., und . CAV, Volume 531 von Lecture Notes in Computer Science, Seite 312-321. Springer, (1990)Informatics: the core and the presentation., , und . Informatics in Higher Education, Volume 128 von IFIP Conference Proceedings, Seite 54-63. Chapman & Hall, (1997)Tool Support for the Refinement Calculus., und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 381-394. DIMACS/AMS, (1990)