Jim Woodcock

发表

Cliff B. Jones, Jim Woodcock, 2007, Formal Aspects of Computing.
Jim Woodcock, Zhiming Liu, 2011, Formal Aspects of Computing.
Daniel Kroening, Tiziana Margaria, Jim Woodcock, 2011, Formal Aspects Comput..
Jan Peleska, Jim Woodcock, John Fitzgerald, 2015 .
Peter W. O'Hearn, Cliff B. Jones, Jim Woodcock, 2006, Computer.
Jin Song Dong, Richard F. Paige, Phillip J. Brooke, 2009, Formal Aspects of Computing.
Jim Woodcock, 2012, Formal Aspects of Computing.
Deepak D'Souza, Jim Woodcock, Shu Cheng, 2014, Formal Aspects of Computing.
Hirohisa Seki, Jim Woodcock, Maurizio Proietti, 2016, Formal Aspects of Computing.
Ana Cavalcanti, Jim Woodcock, Colin O'Halloran, 2013, Formal Aspects of Computing.
Jim Woodcock, Anne E. Haxthausen, Alessandro Fantechi, 2021, Formal Aspects Comput..
Simon Foster, Kangfeng Ye, Jim Woodcock, 2021, RAMiCS.
Taolue Chen, Jim Woodcock, Hengjun Zhao, 2021, Formal Aspects Comput..
Jim Woodcock, Zhiming Liu, Ji Wang, 2021, Formal Aspects of Computing.
Radu Calinescu, Mario Gleirscher, Jim Woodcock, 2021, Formal Aspects of Computing.