Misplaced Pages

The following pages link to Jim Woodcock

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 28 items.

• Z notation (links | edit)
• University of Liverpool (links | edit)
• Mondex (links | edit)
• Dines Bjørner (links | edit)
• Zhou Chaochen (links | edit)
• BCS-FACS (links | edit)
• Formal Aspects of Computing (links | edit)
• Unifying Theories of Programming (links | edit)
• He Jifeng (links | edit)
• ITSEC (links | edit)
• Separation logic (links | edit)
• J. C. P. Woodcock (redirect page) (links | edit)
  • Prentice Hall International Series in Computer Science (links | edit)
• Jeannette Wing (links | edit)
• List of people from the University of Oxford in academic disciplines (links | edit)
• Jim Davies (computer scientist) (links | edit)
• Synthetic data (links | edit)
• Woodcock (surname) (links | edit)
• List of fellows of the Royal Society of Arts (links | edit)
• IFIP Working Group 2.3 (links | edit)
• Talk:Jim Woodcock (transclusion) (links | edit)
• User:Kingbotk/Logs/Manual Upload/110906 Living people 1.1 (links | edit)
• User:Tony Sidaway/Living people/tranche 097 (links | edit)
• User:Mfaddersb/draft of UoL Alumni (links | edit)
• User:Tony Sidaway/Living people/temp (links | edit)
• User:Tule-hog/All Computing articles (links | edit)
• User talk:Xerxes b (links | edit)
• User talk:Ukexpat/Archive 25 (links | edit)
• User talk:Till/Archive 3 (links | edit)