David Parker

发表

Annabelle McIver, Yiannis Papadopoulos, Hamid Jahanian, 2020, IMBSA.

Taolue Chen, Marta Z. Kwiatkowska, David Parker, 2012, Formal Methods in System Design.

David Parker, Michael Bell, James Donnithorne-Tait, 2011 .

David Parker, 2006 .