Voronkov, Andrei
[HerausgeberIn];
Korovina, Margarita
[HerausgeberIn];
Barringer, Howard
[GefeierteR]
;
HOWARD-60 Veranstaltung 2011 Manchester,
University of Manchester
Anmerkungen:
"This book is a Festschriift volume dedicated to Howard Barringer's 60th birthday. It was created from revised papers presented at the Higher-Order Workshop on Automated Runtime verification and Debugging (HOWARD-60), held at the University of Manchester on December 20, 2011 ... HOWARD-60 was partially sponsored by the Centre for Interdisciplinary Computational and Dynamical Analysis at the University of Manchester and hosted at the University of Manchester." - Vorwort
Literaturangaben