Showing 1 - 10 results of 10 for search 'Butler, Michael', query time: 0.03s Refine Results
  1. 1
    The gamma function
    by Artin, Emil 1898-1962
    Published 1964
    Other Authors: “…Butler, Michael…”
    Book
  2. 2
    FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /
    Published 2011
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
    Published 2002
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic 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 2015
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Methods, Models and Tools for Fault Tolerance
    Published 2009
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
    Published 2018
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Published 2016
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Rigorous Development of Complex Fault-Tolerant Systems
    Published 2006
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
    Published 2007
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Other Authors: “…Butler, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search