Basket

    1.
    0436568 DE BXXS
    Margaria, T. (ed.) - Steffen, B. (ed.)
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Part I.
    Berlin: Springer, 2014. Lecture Notes in Computer Science, 8802. ISBN 978-3-662-45233-2. ISSN 0302-9743
     
  2. 2.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all