Preface
Övrig text i vetenskaplig tidskrift, 2016
Författare
Michael Kohlhase
Jacobs University Bremen
Moa Johansson
Chalmers, Data- och informationsteknik, Programvaruteknik
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-VIIÄmneskategorier
Systemvetenskap
Datavetenskap (datalogi)
Datorsystem