Showing 1 - 13 results of 13 for search 'Woodcock, Jim', query time: 0.04s Refine Results
  1. 1
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Published 2008
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    Published 2008
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
    Published 2003
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures /
    Published 2006
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
    Published 2009
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
    Published 2013
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
    Published 2013
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
    Published 2013
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
    Published 2007
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    Published 2007
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    Published 2007
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
    by Cavalcanti, Ana
    Published 2010
    Other Authors: “…Woodcock, Jim…”
    Get full text
    Electronic Kit Book
  13. 13
    Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
    Published 2010
    Other Authors: “…Woodcock, Jim…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search