Joe Hendrix
发表
Joe Hendrix,
Ben Jones Galois,
2015
.
J. Meseguer,
R. Sasse,
Joe Hendrix,
2009
.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2019,
All About Maude.
José Meseguer,
Joe Hendrix,
Hitoshi Ohsaki,
2006,
IJCAR.
José Meseguer,
Joseph D. Hendrix,
J. Meseguer,
2008
.
José Meseguer,
Joe Hendrix,
Hitoshi Ohsaki,
2005
.
José Meseguer,
Manuel Clavel,
Joe Hendrix,
2005,
RTA.
Nikolaj Bjørner,
Joe Hendrix,
N. Bjørner,
2009,
CAV.
Brian Huffman,
Robert Dockins,
Dylan McNamee,
2016,
VSTTE.
Mahesh Viswanathan,
Joe Hendrix,
Hitoshi Ohsaki,
2006,
RTA.
José Meseguer,
Deepak Kapur,
Joe Hendrix,
2010,
ITP.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2007,
CALCO.
M. Clavel,
Joe Hendrix,
José Meseguer,
2005
.
Joe Hendrix,
Hitoshi Ohsaki,
Joe Hendrix,
2008,
RTA.