Preface
Other text in scientific journal, 2016
Author
Michael Kohlhase
Jacobs University Bremen
Moa Johansson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
B. Miller
National Institute of Standards and Technology (NIST)
Leonardo de Moura
Microsoft Research
Frank Wm Tompa
University of Waterloo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9791 V-VIISubject Categories
Information Science
Computer Science
Computer Systems