https://dblp.org/rdf/schema#affiliation
|
University of York, Department of Computer Science, UK
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/jlap/YeFW24 +
, https://dblp.org/rec/journals/corr/abs-2403-08136 +
, https://dblp.org/rec/journals/computer/MousaviCFDHKLRRTW23 +
, https://dblp.org/rec/journals/fac/DutilleulHLW23 +
, https://dblp.org/rec/journals/sosym/GleirscherPW23 +
, https://dblp.org/rec/conf/birthday/000100OSZ23 +
, https://dblp.org/rec/conf/birthday/000123a +
, https://dblp.org/rec/conf/case/AdamYACWM23 +
, https://dblp.org/rec/conf/ictac/AttalaCW23 +
, https://dblp.org/rec/journals/corr/abs-2303-09106 +
, https://dblp.org/rec/journals/corr/abs-2303-09692 +
, https://dblp.org/rec/journals/corr/abs-2308-15191 +
, https://dblp.org/rec/journals/corr/abs-2310-10658 +
, https://dblp.org/rec/journals/fac/KulikDLMSTW22 +
, https://dblp.org/rec/journals/sosym/YeCFMW22 +
, https://dblp.org/rec/conf/icfem/YeFW22 +
, https://dblp.org/rec/conf/isola/FitzgeraldLMWG22 +
, https://dblp.org/rec/conf/isola/WrightGW22 +
, https://dblp.org/rec/journals/corr/abs-2207-08854 +
, https://dblp.org/rec/journals/fac/ChenLWW21 +
, https://dblp.org/rec/journals/fac/ZhaoZCLW21 +
, https://dblp.org/rec/journals/fac/GleirscherCW21 +
, https://dblp.org/rec/journals/fac/FantechiHW21 +
, https://dblp.org/rec/journals/jlap/FosterYCW21 +
, https://dblp.org/rec/conf/RelMiCS/YeFW21 +
, https://dblp.org/rec/conf/acsos/EsterlePW21 +
, https://dblp.org/rec/conf/concur/0001HW21 +
, https://dblp.org/rec/conf/fmics/HansenGPTPW21 +
, https://dblp.org/rec/books/mc/21/WoodcockBC0S21 +
, https://dblp.org/rec/books/mc/21/Woodcock21 +
, https://dblp.org/rec/journals/corr/abs-2105-05133 +
, https://dblp.org/rec/journals/corr/abs-2109-01362 +
, https://dblp.org/rec/journals/corr/abs-2112-12758 +
, https://dblp.org/rec/journals/csur/GleirscherFW20 +
, https://dblp.org/rec/journals/scp/0001BCWZ20 +
, https://dblp.org/rec/journals/tcs/FosterCCWZ20 +
, https://dblp.org/rec/journals/tecs/ChangWZWWB20 +
, https://dblp.org/rec/conf/isola/FitzgeraldLMW20 +
, https://dblp.org/rec/conf/isola/WoodcockGML20 +
, https://dblp.org/rec/conf/setta/ZhaoZCLW20 +
, https://dblp.org/rec/journals/corr/abs-2007-13529 +
, https://dblp.org/rec/journals/corr/abs-2009-09826 +
, https://dblp.org/rec/journals/sosym/MiyazawaRLCTW19 +
, https://dblp.org/rec/conf/utp/HoareSW19 +
, https://dblp.org/rec/conf/utp/WoodcockC00Y19 +
, https://dblp.org/rec/journals/corr/abs-1905-05500 +
, https://dblp.org/rec/journals/ipl/FosterCWZ18 +
, https://dblp.org/rec/conf/RelMiCS/0001YCW18 +
, https://dblp.org/rec/conf/facs2/FosterBCMW18 +
, https://dblp.org/rec/conf/isola/GibsonLPFW18 +
, https://dblp.org/rec/conf/sbmf/FilhoMMW18 +
, https://dblp.org/rec/journals/corr/abs-1806-02101 +
, https://dblp.org/rec/journals/corr/abs-1807-08588 +
, https://dblp.org/rec/journals/corr/abs-1812-10103 +
, https://dblp.org/rec/journals/cacm/ChapmanWW17 +
, https://dblp.org/rec/journals/fac/ProiettiSW17 +
, https://dblp.org/rec/journals/sttt/YeW17 +
, https://dblp.org/rec/conf/birthday/FosterW17 +
, https://dblp.org/rec/conf/sefm/LarsenFWGPP17 +
, https://dblp.org/rec/books/sp/17/CavalcantiMPW17 +
, https://dblp.org/rec/journals/corr/LiMRCWT17 +
, https://dblp.org/rec/journals/corr/abs-1712-10213 +
, https://dblp.org/rec/journals/corr/abs-1712-10233 +
, https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16 +
, https://dblp.org/rec/conf/dars/LiM0CWT16 +
, https://dblp.org/rec/conf/icfem/AmalioPCW16 +
, https://dblp.org/rec/conf/ictac/CavalcantiWA16 +
, https://dblp.org/rec/conf/ictac/FosterZW16 +
, https://dblp.org/rec/conf/isola/LarsenFWNGF16 +
, https://dblp.org/rec/conf/isola/WoodcockFB16 +
, https://dblp.org/rec/conf/setss/WoodcockF16 +
, https://dblp.org/rec/conf/setss/CavalcantiMWWZ16 +
, https://dblp.org/rec/conf/utp/FosterTCW16 +
, https://dblp.org/rec/conf/utp/NgondiW16 +
, https://dblp.org/rec/conf/utp/RibeiroCW16 +
, https://dblp.org/rec/journals/csur/NielsenLFWP15 +
, https://dblp.org/rec/journals/fac/ChengWD15 +
, https://dblp.org/rec/journals/fac/WoodcockJ15 +
, https://dblp.org/rec/journals/fac/MotaFWL15 +
, https://dblp.org/rec/conf/icfem/DivakaranDKSSW15 +
, https://dblp.org/rec/conf/icse/FitzgeraldGLPW15 +
, https://dblp.org/rec/conf/ictac/CavalcantiHPW15 +
, https://dblp.org/rec/conf/sbmf/WoodcockWC15 +
, https://dblp.org/rec/series/natosec/FosterW15 +
, https://dblp.org/rec/journals/fac/CavalcantiKOW14 +
, https://dblp.org/rec/journals/spe/MistryNW14 +
, https://dblp.org/rec/conf/fm/Woodcock14 +
, https://dblp.org/rec/conf/fm/AntoninoSW14 +
, https://dblp.org/rec/conf/isola/WoodcockCFFL14 +
, https://dblp.org/rec/conf/sefm/MotaFDW14 +
, https://dblp.org/rec/conf/sysose/FosterMWCFL14 +
, https://dblp.org/rec/conf/utp/CanhamW14 +
, https://dblp.org/rec/conf/utp/FosterZW14 +
, https://dblp.org/rec/conf/utp/WeiW14 +
, https://dblp.org/rec/journals/fac/CavalcantiWW13 +
, https://dblp.org/rec/journals/fac/OliveiraCW13 +
, https://dblp.org/rec/journals/fmsd/WeiWB13 +
, https://dblp.org/rec/journals/rts/CavalcantiZWWW13 +
, https://dblp.org/rec/conf/birthday/CavalcantiMW13 +
, https://dblp.org/rec/conf/csdm/FitzgeraldLW13 +
, https://dblp.org/rec/conf/ictac/FosterW13 +
, https://dblp.org/rec/conf/sbmf/BandurW13 +
, https://dblp.org/rec/conf/sefm/OliveiraJW13 +
, https://dblp.org/rec/books/daglib/p/FitzgeraldBLW13 +
, https://dblp.org/rec/journals/fac/Woodcock12 +
, https://dblp.org/rec/journals/scp/PernaW12 +
, https://dblp.org/rec/conf/ecmdafa/RadjenovicPRWK12 +
, https://dblp.org/rec/conf/sysose/WoodcockCFLMP12 +
, https://dblp.org/rec/conf/utp/WoodcockB12 +
, https://dblp.org/rec/conf/utp/WeiWC12 +
, https://dblp.org/rec/books/daglib/p/WeiWB12 +
, https://dblp.org/rec/journals/acta/PernaWSI11 +
, https://dblp.org/rec/journals/fac/LiuW11 +
, https://dblp.org/rec/journals/fac/KroeningMW11 +
, https://dblp.org/rec/conf/fm/CavalcantiWW11 +
, https://dblp.org/rec/conf/iceccs/WeiWB11 +
, https://dblp.org/rec/conf/iceccs/SantosWP11 +
, https://dblp.org/rec/conf/jtres/CavalcantiWWWZ11 +
, https://dblp.org/rec/conf/sefm/WeiWB10 +
, https://dblp.org/rec/conf/ssiri/WoodcockOBW10 +
, https://dblp.org/rec/books/daglib/p/WoodcockAC10 +
, https://dblp.org/rec/reference/se/PaigeWBC10 +
, https://dblp.org/rec/journals/ercim/MatthewsSBJCW10 +
, https://dblp.org/rec/journals/csur/WoodcockLBF09 +
, https://dblp.org/rec/journals/fac/OliveiraCW09 +
, https://dblp.org/rec/journals/fac/FreitasW09 +
, https://dblp.org/rec/journals/fac/PaigeB09 +
, https://dblp.org/rec/journals/ijsi/FreitasW09 +
, https://dblp.org/rec/journals/scp/FreitasWZ09 +
, https://dblp.org/rec/journals/scp/ButterfieldFW09 +
, https://dblp.org/rec/journals/scp/FreitasWF09 +
, https://dblp.org/rec/conf/fm/BicarreguiFLW09 +
, https://dblp.org/rec/conf/fmco/SantosWPK09 +
, https://dblp.org/rec/conf/icst/AydalPUW09 +
, https://dblp.org/rec/conf/ipres/MatthewsCWJBS09 +
, https://dblp.org/rec/conf/tase/ButterfieldGW09 +
, https://dblp.org/rec/conf/dagstuhl/AbrialBJTW09 +
, https://dblp.org/rec/journals/eceasst/AydalPW08 +
, https://dblp.org/rec/journals/fac/JonesW08 +
, https://dblp.org/rec/journals/fac/WoodcockSCCJ08 +
, https://dblp.org/rec/journals/fac/FreitasW08 +
, https://dblp.org/rec/conf/asm/WoodcockB08 +
, https://dblp.org/rec/conf/iceccs/WoodcockF08 +
, https://dblp.org/rec/conf/iceccs/FreitasWB08 +
, https://dblp.org/rec/conf/icst/AydalPW08 +
, https://dblp.org/rec/conf/ictac/HarwoodCW08 +
, https://dblp.org/rec/conf/tools/AydalUW08 +
, https://dblp.org/rec/conf/utp/McEwanW08 +
, https://dblp.org/rec/conf/utp/PernaW08 +
, https://dblp.org/rec/conf/utp/Woodcock08 +
, https://dblp.org/rec/journals/entcs/PernaW09 +
, https://dblp.org/rec/journals/fac/JonesW07 +
, https://dblp.org/rec/journals/jucs/WoodcockB07 +
, https://dblp.org/rec/conf/birthday/FreitasW07 +
, https://dblp.org/rec/conf/iceccs/FreitasFW07 +
, https://dblp.org/rec/conf/iceccs/ButterfieldW07 +
, https://dblp.org/rec/conf/iceccs/FreitasMW07 +
, https://dblp.org/rec/conf/icfem/PernaW07 +
, https://dblp.org/rec/conf/icfem/OliveiraW07 +
, https://dblp.org/rec/conf/icsoft/AydalWC07 +
, https://dblp.org/rec/conf/ifm/ButterfieldSW07 +
, https://dblp.org/rec/conf/models/AydalPW07 +
, https://dblp.org/rec/journals/computer/JonesOW06 +
, https://dblp.org/rec/journals/computer/Woodcock06 +
, https://dblp.org/rec/journals/fac/BicarreguiHW06 +
, https://dblp.org/rec/journals/fac/CavalcantiWD06 +
, https://dblp.org/rec/journals/isse/FreitasWC06 +
, https://dblp.org/rec/conf/fm/Woodcock06 +
, https://dblp.org/rec/conf/iceccs/SchneiderTCW06 +
, https://dblp.org/rec/conf/icfem/FreitasCW06 +
, https://dblp.org/rec/conf/ictac/WoodcockF06 +
, https://dblp.org/rec/conf/sew/Woodcock06 +
, https://dblp.org/rec/conf/utp/Woodcock06 +
, https://dblp.org/rec/conf/utp/OliveiraCW06 +
, https://dblp.org/rec/conf/utp/CavalcantiHW06 +
, https://dblp.org/rec/conf/utp/NukaW06 +
, https://dblp.org/rec/journals/entcs/FreitasW07 +
, https://dblp.org/rec/journals/entcs/OliveiraCW07 +
, https://dblp.org/rec/journals/isse/OliveiraCW05 +
, https://dblp.org/rec/journals/sosym/CavalcantiSW05 +
, https://dblp.org/rec/journals/sttt/ButterfieldW05 +
, https://dblp.org/rec/conf/asm/Woodcock05 +
, https://dblp.org/rec/conf/fm/WoodcockCF05 +
, https://dblp.org/rec/journals/entcs/AtiyaKW05 +
, https://dblp.org/rec/journals/entcs/CavalcantiW05 +
, https://dblp.org/rec/conf/ifip/McEwanW04 +
, https://dblp.org/rec/conf/ifm/WoodcockC04 +
, https://dblp.org/rec/conf/mpc/TangW04 +
, https://dblp.org/rec/conf/psse/CavalcantiSW04 +
, https://dblp.org/rec/conf/psse/CavalcantiW04 +
, https://dblp.org/rec/conf/sefm/TangW04 +
, https://dblp.org/rec/journals/entcs/ButterfieldW06 +
, https://dblp.org/rec/journals/fac/OliveiraCW03 +
, https://dblp.org/rec/journals/fac/CavalcantiSW03 +
, https://dblp.org/rec/journals/iee/CavalcantiW03 +
, https://dblp.org/rec/conf/fm/AtiyaKW03 +
, https://dblp.org/rec/journals/entcs/Woodcock04 +
, https://dblp.org/rec/journals/entcs/NukaW04 +
, https://dblp.org/rec/journals/entcs/ButterfieldW03 +
, https://dblp.org/rec/conf/fm/SampaioWC02 +
, https://dblp.org/rec/conf/icfem/WoodcockH02 +
, https://dblp.org/rec/conf/zum/WoodcockC02 +
, https://dblp.org/rec/journals/entcs/ButterfieldW02 +
, https://dblp.org/rec/journals/entcs/DerrickBWW02 +
, https://dblp.org/rec/journals/entcs/CavalcantiSW02 +
, https://dblp.org/rec/conf/apsec/WoodcockC01 +
, https://dblp.org/rec/conf/iwfm/WoodcockC01 +
, https://dblp.org/rec/journals/fac/WingW00 +
, https://dblp.org/rec/journals/fmsd/WingW00 +
, https://dblp.org/rec/journals/tse/WingW00 +
, https://dblp.org/rec/journals/scp/CavalcantiSW99 +
, https://dblp.org/rec/conf/ifm/BoltonDW99 +
, https://dblp.org/rec/conf/tools/CrichtonDW99 +
, https://dblp.org/rec/journals/cj/CavalcantiW98 +
, https://dblp.org/rec/journals/fac/CavalcantiW98 +
, https://dblp.org/rec/journals/jbcs/CavalcantiSW98 +
, https://dblp.org/rec/conf/iwssd/SimpsonWD98 +
, https://dblp.org/rec/conf/zum/StepneyCW98 +
, https://dblp.org/rec/books/daglib/0072139 +
, https://dblp.org/rec/journals/csur/Woodcock96 +
, https://dblp.org/rec/journals/fac/MartinGW96 +
, https://dblp.org/rec/journals/jcs/RoscoeWW96 +
, https://dblp.org/rec/journals/fac/SinclairW95 +
, https://dblp.org/rec/journals/tse/WoodcockL95 +
, https://dblp.org/rec/conf/esorics/RoscoeWW94 +
, https://dblp.org/rec/conf/zum/WoodcockGH94 +
, https://dblp.org/rec/journals/cj/Woodcock92 +
, https://dblp.org/rec/conf/refine/Woodcock92 +
, https://dblp.org/rec/conf/fm/Woodcock91 +
, https://dblp.org/rec/conf/fm/Woodcock91a +
, https://dblp.org/rec/conf/fm/Woodcock91b +
, https://dblp.org/rec/conf/fm/Woodcock91c +
, https://dblp.org/rec/conf/fm/WoodcockM90 +
, https://dblp.org/rec/conf/zum/GardinerLW90 +
, https://dblp.org/rec/journals/iee/Woodcock89 +
, https://dblp.org/rec/journals/sigsoft/Woodcock89 +
, https://dblp.org/rec/journals/sigsoft/Woodcock88 +
, https://dblp.org/rec/conf/fm/WoodcockD88 +
, https://dblp.org/rec/journals/iee/SufrinW87 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/16/756 +
, https://dblp.org/pid/236/5285 +
, https://dblp.org/pid/53/3792 +
, https://dblp.org/pid/355/5593 +
, https://dblp.org/pid/31/7140 +
, https://dblp.org/pid/135/9609 +
, https://dblp.org/pid/75/5361 +
, https://dblp.org/pid/47/6590 +
, https://dblp.org/pid/360/7881 +
, https://dblp.org/pid/15/1549 +
, https://dblp.org/pid/359/0824 +
, https://dblp.org/pid/02/2604 +
, https://dblp.org/pid/118/8990 +
, https://dblp.org/pid/41/6581 +
, https://dblp.org/pid/18/2391 +
, https://dblp.org/pid/170/2638 +
, https://dblp.org/pid/47/4549 +
, https://dblp.org/pid/b/RichardSBird +
, https://dblp.org/pid/56/4542 +
, https://dblp.org/pid/b/EABoiten +
, https://dblp.org/pid/b/PauloBorba +
, https://dblp.org/pid/67/734 +
, https://dblp.org/pid/76/2048 +
, https://dblp.org/pid/b/AlanBurns +
, https://dblp.org/pid/b/MichaelJButler +
, https://dblp.org/pid/35/6105 +
, https://dblp.org/pid/15/2194 +
, https://dblp.org/pid/156/3023 +
, https://dblp.org/pid/c/AnaCavalcanti +
, https://dblp.org/pid/67/3746 +
, https://dblp.org/pid/72/613 +
, https://dblp.org/pid/28/4743 +
, https://dblp.org/pid/55/6007 +
, https://dblp.org/pid/18/793 +
, https://dblp.org/pid/c/JohnAClark +
, https://dblp.org/pid/20/7894 +
, https://dblp.org/pid/49/5176 +
, https://dblp.org/pid/39/6412 +
, https://dblp.org/pid/66/4336 +
, https://dblp.org/pid/25/1547 +
, https://dblp.org/pid/58/1750 +
, https://dblp.org/pid/78/3015 +
, https://dblp.org/pid/89/1310 +
, https://dblp.org/pid/29/7127 +
, https://dblp.org/pid/07/9256 +
, https://dblp.org/pid/33/6517 +
, https://dblp.org/pid/01/4516 +
, https://dblp.org/pid/97/4727 +
, https://dblp.org/pid/78/807 +
, https://dblp.org/pid/29/3283 +
, https://dblp.org/pid/19/10327 +
, https://dblp.org/pid/f/AlessandroFantechi +
, https://dblp.org/pid/59/4731 +
, https://dblp.org/pid/119/1564 +
, https://dblp.org/pid/f/MichaelFisher +
, https://dblp.org/pid/07/1536 +
, https://dblp.org/pid/14/4971 +
, https://dblp.org/pid/f/LeoFreitas +
, https://dblp.org/pid/f/PeterFritzson +
, https://dblp.org/pid/16/5286 +
, https://dblp.org/pid/30/6114 +
, https://dblp.org/pid/91/7450 +
, https://dblp.org/pid/00/5892 +
, https://dblp.org/pid/74/4866 +
, https://dblp.org/pid/04/7024 +
, https://dblp.org/pid/79/262 +
, https://dblp.org/pid/19/7994 +
, https://dblp.org/pid/96/7136 +
, https://dblp.org/pid/02/11148 +
, https://dblp.org/pid/75/5110 +
, https://dblp.org/pid/283/6841 +
, https://dblp.org/pid/65/3365 +
, https://dblp.org/pid/70/2068 +
, https://dblp.org/pid/h/RobertMHierons +
, https://dblp.org/pid/h/CARHoare +
, https://dblp.org/pid/137/5289 +
, https://dblp.org/pid/09/2833 +
, https://dblp.org/pid/98/1025 +
, https://dblp.org/pid/75/3287 +
, https://dblp.org/pid/72/4526 +
, https://dblp.org/pid/j/JeremyLJacob +
, https://dblp.org/pid/355/5776 +
, https://dblp.org/pid/285/3989 +
, https://dblp.org/pid/j/CliffBJones +
, https://dblp.org/pid/160/8087 +
, https://dblp.org/pid/52/8373 +
, https://dblp.org/pid/121/6311 +
, https://dblp.org/pid/06/1838 +
, https://dblp.org/pid/175/8247 +
, https://dblp.org/pid/k/DanielKroening +
, https://dblp.org/pid/223/6374 +
, https://dblp.org/pid/172/1446 +
, https://dblp.org/pid/40/6670 +
, https://dblp.org/pid/54/778 +
, https://dblp.org/pid/90/5181 +
, https://dblp.org/pid/64/6025-55 +
, https://dblp.org/pid/l/ZhimingLiu1 +
, https://dblp.org/pid/51/2457 +
, https://dblp.org/pid/46/1948 +
, https://dblp.org/pid/m/TizianaMargaria +
, https://dblp.org/pid/211/6588 +
, https://dblp.org/pid/m/ChristieMarr +
, https://dblp.org/pid/82/6684 +
, https://dblp.org/pid/355/5568 +
, https://dblp.org/pid/80/1224 +
, https://dblp.org/pid/43/879 +
, https://dblp.org/pid/200/8122 +
, https://dblp.org/pid/m/BertrandMeyer +
, https://dblp.org/pid/149/5163 +
, https://dblp.org/pid/90/9827 +
, https://dblp.org/pid/52/1038 +
, https://dblp.org/pid/m/CarrollMorgan +
, https://dblp.org/pid/20/6501 +
, https://dblp.org/pid/m/AlexandreMota +
, https://dblp.org/pid/m/MohammadRezaMousavi +
, https://dblp.org/pid/80/2682 +
, https://dblp.org/pid/182/2385 +
, https://dblp.org/pid/116/5068 +
, https://dblp.org/pid/186/9679 +
, https://dblp.org/pid/355/5545 +
, https://dblp.org/pid/13/5938 +
, https://dblp.org/pid/46/4330 +
, https://dblp.org/pid/o/PeterWOHearn +
, https://dblp.org/pid/15/2751 +
, https://dblp.org/pid/p/RichardFPaige +
, https://dblp.org/pid/199/9673 +
, https://dblp.org/pid/39/4371 +
, https://dblp.org/pid/53/10255 +
, https://dblp.org/pid/24/440 +
, https://dblp.org/pid/42/5325 +
, https://dblp.org/pid/132/4480 +
, https://dblp.org/pid/190/0312 +
, https://dblp.org/pid/166/1103 +
, https://dblp.org/pid/p/JvdPol +
, https://dblp.org/pid/59/4160 +
, https://dblp.org/pid/78/4537 +
, https://dblp.org/pid/q/ShengchaoQin +
, https://dblp.org/pid/17/1393 +
, https://dblp.org/pid/184/3701 +
, https://dblp.org/pid/99/1082 +
, https://dblp.org/pid/04/7076 +
, https://dblp.org/pid/r/AWRoscoe +
, https://dblp.org/pid/45/5907 +
, https://dblp.org/pid/65/1566 +
, https://dblp.org/pid/s/AugustoSampaio +
, https://dblp.org/pid/65/1874 +
, https://dblp.org/pid/79/4203 +
, https://dblp.org/pid/69/3625 +
, https://dblp.org/pid/s/SASchneider +
, https://dblp.org/pid/04/5137 +
, https://dblp.org/pid/33/1623 +
, https://dblp.org/pid/03/7894 +
, https://dblp.org/pid/40/4045 +
, https://dblp.org/pid/s/AndrewCSimpson +
, https://dblp.org/pid/s/JESinclair +
, https://dblp.org/pid/26/2108 +
, https://dblp.org/pid/s/SusanStepney +
, https://dblp.org/pid/57/4783 +
, https://dblp.org/pid/s/BernardSufrin +
, https://dblp.org/pid/41/180 +
, https://dblp.org/pid/127/5823 +
, https://dblp.org/pid/195/5873 +
, https://dblp.org/pid/t/JonathanTimmis +
, https://dblp.org/pid/145/2703 +
, https://dblp.org/pid/37/5761 +
, https://dblp.org/pid/84/4265 +
, https://dblp.org/pid/87/1262 +
, https://dblp.org/pid/43/3091 +
, https://dblp.org/pid/64/856 +
, https://dblp.org/pid/60/6310 +
, https://dblp.org/pid/92/2461 +
, https://dblp.org/pid/w/AndyJWellings +
, https://dblp.org/pid/23/4503 +
, https://dblp.org/pid/w/JeannetteMWing +
, https://dblp.org/pid/70/761 +
, https://dblp.org/pid/59/5426 +
, https://dblp.org/pid/98/4490 +
, https://dblp.org/pid/193/5774 +
, https://dblp.org/pid/62/6760 +
, https://dblp.org/pid/23/6727 +
, https://dblp.org/pid/82/13 +
, https://dblp.org/pid/86/7054 +
, https://dblp.org/pid/78/3617 +
, https://dblp.org/pid/116/8682-4 +
, https://dblp.org/pid/40/1796 +
|
https://dblp.org/rdf/schema#creatorName
|
Jim Woodcock
, J. C. P. Woodcock
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/setta/2021 +
, https://dblp.org/rec/journals/corr/abs-2111-07538 +
, https://dblp.org/rec/conf/birthday/2013he +
, https://dblp.org/rec/conf/ictac/2013 +
, https://dblp.org/rec/conf/ictac/2013s +
, https://dblp.org/rec/conf/ictac/2010 +
, https://dblp.org/rec/conf/psse/2007 +
, https://dblp.org/rec/conf/dagstuhl/2009P9381 +
, https://dblp.org/rec/conf/sbmf/2009 +
, https://dblp.org/rec/conf/vstte/2005 +
, https://dblp.org/rec/conf/vstte/2008 +
, https://dblp.org/rec/conf/ac/2007duration +
, https://dblp.org/rec/conf/birthday/2007bz +
, https://dblp.org/rec/conf/ictac/2007 +
, https://dblp.org/rec/conf/psse/2004 +
, https://dblp.org/rec/conf/icfem/2003 +
, https://dblp.org/rec/conf/refine/2002 +
, https://dblp.org/rec/conf/fm/1999-1 +
, https://dblp.org/rec/conf/fm/1999-2 +
, https://dblp.org/rec/conf/fm/1996 +
, https://dblp.org/rec/conf/fm/1993 +
, https://dblp.org/rec/conf/mpc/1992 +
|
https://dblp.org/rdf/schema#homepage
|
https://www-users.cs.york.ac.uk/~jim/ +
|
https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0001-7955-2702 +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
University of York, Department of Computer Science, UK
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Jim Woodcock
|
https://dblp.org/rdf/schema#primaryHomepage
|
https://www-users.cs.york.ac.uk/~jim/ +
|
https://dblp.org/rdf/schema#webpage
|
https://scholar.google.com/citations?user=bO-FeTIAAAAJ +
|
https://dblp.org/rdf/schema#wikidata
|
http://www.wikidata.org/entity/Q6199027 +
|
https://dblp.org/rdf/schema#wikipedia
|
https://en.wikipedia.org/wiki/Jim_Woodcock +
|
owl:sameAs |
https://orcid.org/0000-0001-7955-2702 +
, http://www.wikidata.org/entity/Q6199027 +
, http://isni.org/isni/0000000109442399 +
, https://viaf.org/viaf/145747617 +
, https://id.loc.gov/authorities/names/n88200622 +
, https://d-nb.info/gnd/12840387X +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Jim Woodcock 0001
|