-
1
Formal methods: foundations and applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings
Veröffentlicht 2018BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
2
Formal methods: foundations and applications 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings
Veröffentlicht 2018Tagungsbericht Buch