Mello, B. A. d., Camargo, M. S. d., & Specialski, E. S. (1997). Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes: Especificação e verificação. Web
Citación estilo ChicagoMello, Braulio Adriano de, Murilo Silva de Camargo, and Elizabeth Sueli Specialski. Utilizando LOTOS Na Concepção Formal De Uma Aplicação Para Gerência De Redes: Especificação E Verificação. 1997.
Cita MLAMello, Braulio Adriano de, Murilo Silva de Camargo, and Elizabeth Sueli Specialski. Utilizando LOTOS Na Concepção Formal De Uma Aplicação Para Gerência De Redes: Especificação E Verificação. 1997.
Precaución: Estas citas no son 100% exactas.