Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

F2-3 Panel: Formal Methods in the 21st Century

  • Reino Kurki-Suonio (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso1998
    Tapahtuman otsikkoThe 20th International Conference on Software Engineering, ICSE98, April 19-25, 1998, Kyoto, Japan
    Tapahtuman tyyppiConference

    Country of activity

    • Japani

    Publication forum classification

    • Ei tasoa