Cristin-resultat-ID: 1993014
Sist endret: 29. januar 2022, 00:37
Resultat
Faglig foredrag
2021

Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS

Bidragsytere:
  • Mikhail Barash

Presentasjon

Navn på arrangementet: 23rd International Symposium on Formal Methods (FM 2021)
Sted: Beijing, Chins (Virtual Event)
Dato fra: 20. november 2021
Dato til: 26. november 2021

Arrangør:

Arrangørnavn: Formal Methods Europe

Om resultatet

Faglig foredrag
Publiseringsår: 2021

Beskrivelse Beskrivelse

Tittel

Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS

Bidragsytere

Mikhail Barash

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen
1 - 1 av 1