Showing 1 - 3 results of 3 for search 'Margaria-Steffen, Tiziana', query time: 0.02s Refine Results
  1. 1
    Fundamental Approaches to Software Engineering 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Other Authors: “…Margaria-Steffen, Tiziana…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal methods for industrial critical systems : a survey of applications /
    Published 2013
    Other Authors: “…Margaria-Steffen, Tiziana, 1964-…”
    Full Text via HEAL-Link
    eBook
  3. 3
    SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings /
    Published 2015
    Other Authors: “…Margaria-Steffen, Tiziana…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search