Interactive verification of safety-critical software Artigo de Conferência uri icon

autores

  • Pedro Manuel Rangel Santos Henriques
  • Cruz, Daniela da
  • Da Cruz, D.
  • Henriques, P.
  • Pinto, J.S.

data de publicação

  • janeiro 1, 2013