Browse Author Index

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 All

B

Baelde, David, LSV, CNRS & ENS de Cachan (France)
Bagnall, Alexander
Barras, Bruno, INRIA Saclay - France (France)
Beeson, Michael, San Jose State University
Benzmueller, Christoph, Articulate Software (United States)
Bertot, Yves, INRIA
Bingham, Jesse, Intel corporation (United States)
Blanchette, Jasmin C., Technische Universitat Munchen (Germany)
Buchberger, Bruno, Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz (JKU) (Austria)
Buckley, Mitchell, Macquarie University (Australia)
Butler, Ricky Wayne, NASA Langley Research Center (United States)

1 - 11 of 11 Items