David Parker
Professor of Computer Science, University of Birmingham
[BP20] Armin Biere and David Parker (editors), Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'20). Volume 12078/12079 of LNCS. Springer. April 2020.
Notes: The original publication is available at link.springer.com.