Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
Mikhail Barash
Presentasjon
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
Om resultatet
Faglig foredrag
Publiseringsår: 2021
Beskrivelse
Beskrivelse
Engelsk
Tittel
Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS
Bidragsytere
Bidragsytere
Mikhail Barash
Forfatter
ved Institutt for informatikk ved Universitetet i Bergen
1
-
1
av
1