|
Best Z/B Paper
Probabilistic termination in B
by Annabelle McIver, Carroll Morgan and Thai Son Hoang
(presented by Annabelle McIver)
Best Student Presentation
Christine Poerschke
with the paper
A formal specification in B of a medical decision support system
by Christine Poerschke, David E. Lightfoot and John L. Nealon
|