TY - JOUR
T1 - Preface
AU - Guttman, Joshua
AU - Landwehr, Carl
AU - Meseguer, José
AU - Pavlovic, Dusko
N1 - Funding Information:
We are grateful to the National Security Agency and to the National Science Foundation (SFS grant number 1662487), for providing the funding that made this event possible.
PY - 2019
Y1 - 2019
UR - http://www.scopus.com/inward/record.url?scp=85068987305&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85068987305&partnerID=8YFLogxK
M3 - Editorial
AN - SCOPUS:85068987305
SN - 0302-9743
VL - 11565 LNCS
SP - vii-ix
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - Catherine Meadows Festschrift Symposium, 2019
Y2 - 22 May 2019 through 23 May 2019
ER -