SANTOS, Simone C. dos; SILVA, Fabio Q. B. da.
Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança Crítica. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 9. , 1995, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1995
.
p. 91-106.
DOI: https://doi.org/10.5753/sbes.1995.24078.