@inproceedings{inproceedingsc3d11780,
title   = {A importância da completeza na especificação de sistemas de segurança},
author = {Camargo Júnior, João Batista and Almeida Junior, Jorge Rady de},
year = {1996},
publisher = {CONAI},
booktitle   = {Congresso Nacional de Automação}
}