00675naa a2200193 a 450000100080000000500110000800800410001910000200006024501000008026000090018030000160018952000420020570000220024770000260026970000180029570000150031370000200032877301330034810029872007-09-27       1995    bl uuuu     u00u1 u    #d1 aMEIRA, S. R. L.  aFor MooZbum ambiente baseado em hipertexto para o desenvolvimento de especificações formais.  c1995  ap. 447-450.  aO ambiente. Plataforma. Referências.1 aMIRANDA, O. M. L.1 aVASCONCELOS, A. M. L.1 aJANSEN, S. A.1 aMIN, L. T.1 aNEVES, D. O. D.  tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.