Formal Methods. FM 2019 International Workshops Livro uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Oliveira, José Nuno Fonseca
  • Sekerinski, E
  • Moreira, N
  • Oliveira, JN
  • Ratiu, D
  • Guidotti, R
  • Farrell, M
  • Luckcuck, M
  • Aksoy-Aksel, A.

data de publicação

  • 2020