Institution: | 1. Computer Science Department, Gates Building, Stanford University, Stanford, CA 94305, USA;2. Institute of Formal Methods in Computer Science, University of Stuttgart, Universitätsstr. 38, D-70569 Stuttgart, Germany;3. Google Inc., 1600 Amphitheatre Parkway, Mountain View, CA 94043, USA |