Stef Joosten und Walter Guttmann - Info zur Person

(1 - 5 von 6

)

Calculational Verification of Reactive Programs with Reactive...

pure.york.ac.uk

Walter Guttmann; Jules Desharnais; Stef Joosten. Vol Lecture Notes in Computer Science, p (Lecture Notes in Computer Science ...

CSIRO Research Publications Repository False Failure: Creating...

publications.csiro.au

Stef Joosten, Jules Desharnais, Walter Guttmann. Abstract: Separation logic, an extension of Floyd-Hoare logic, finds countless applications in areas of program ...

Towards an Analysis of Dynamic Gossip in Netkat — the University...

research.rug.nl

· Editors, Jules Desharnais, Walter Guttmann, Stef Joosten. Publisher, Springer International Publishing, Cham, Switzerland.

[FOM] Call for Papers: JLAMP Special Issue on Relational and...

cs.nyu.edu

... Laval, Québec, Canada) Walter Guttmann (University of Canterbury, New Zealand) Stef Joosten (Open University of the Netherlands) ...

[TYPES/announce] Call for Papers: JLAMP Special Issue on Relational...

lists.seas.upenn.edu

... Desharnais (Université Laval, Québec, Canada) Walter Guttmann (University of Canterbury, New Zealand) Stef Joosten (Open University of ...

Alle Infos zum Namen "Stef Joosten"

Verwandte Suchanfragen zu Stef Joosten

Christian Maeder

Person "Joosten" (3)
Vorname "Stef" (513)
Name "Joosten" (485)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z