Showing 1 - 12 results of 12 for search 'Leavens, Gary T.', query time: 0.04s Refine Results
  1. 1
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    by Leavens, Gary T
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Foundations of component - based systems
    by Leavens, Gary T., Sitaraman, Murali
    Published 2000
    Book
  3. 3
    Proceedings of the 2005 conference on Specification and verification of component-based systems
    Published 2005
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
    Published 2012
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the ACM international conference on Object oriented programming systems languages and applications
    Published 2012
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    Published 2018
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 7
    Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
    Published 2012
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 8
    Proceedings of the 13th workshop on Foundations of aspect-oriented languages
    Published 2014
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 9
    Transactions on Aspect-Oriented Software Development X
    Published 2013
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
    Published 2010
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Transactions on Modularity and Composition I
    Published 2016
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Transactions on Aspect-Oriented Software Development IX
    Published 2012
    Other Authors: “…Leavens, Gary T.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search