Showing 1 - 5 results of 5 for search 'Butler, Michael', query time: 0.02s Refine Results
  1. 1
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
    by Butler, Michael
    Published in Springer e-books (2007)
    Get full text
    eBook
  2. 2
    Rigorous Engineering of Fault-Tolerant Systems
    by Butler, Michael
    Published in Springer e-books (2006)
    Get full text
    eBook
  3. 3
    Integrated Formal Methods Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings /
    by Butler, Michael
    Published 2006
    Get full text
    eBook
  4. 4
    Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Other Authors: “...Butler, Michael...”
    Get full text
    eBook
  5. 5
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Other Authors: “...Butler, Michael...”
    Get full text
    eBook
Search Tools: Get RSS Feed