Travelled to:
1 × Canada
Collaborated with:
G.Sénizergues
Talks about:
program (1) equival (1) lalblc (1) test (1) dpda (1)
Person: Patrick Henry
DBLP: Henry:Patrick
Contributed to:
Wrote 1 papers:
- CIAA-2013-HenryS #equivalence #testing
- LALBLC A Program Testing the Equivalence of dpda’s (PH, GS), pp. 169–180.