Showing 1 - 6 results of 6 for search 'Wolff, Burkhart', query time: 0.02s Refine Results
  1. 1
    Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
    Published 2003
    Other Authors: “…Wolff, Burkhart…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Published 2018
    Other Authors: “…Wolff, Burkhart…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings /
    Published 2011
    Other Authors: “…Wolff, Burkhart…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings /
    Published 2011
    Other Authors: “…Wolff, Burkhart…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Published 2013
    Other Authors: “…Wolff, Burkhart…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
    Published 2006
    Other Authors: “…Wolff, Burkhart…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search