%0 Conference Paper %1 ABNO97b %A Almeida, J.J. %A Barbosa, L.S. %A Neves, F.L. %A Oliveira, J.N. %B 6th International Conference on Algebraic Methods and Software Technology (AMAST'97) %C Sydney, Australia %D 1997 %E Johnson, M. %I Springer Lect. Notes Comp. Sci. (1349) %K Camila Formal_Specification %P 554--559 %T Camila: Prototyping and Refinement of Constructive Specifications

@inproceedings{ABNO97b, added-at = {2008-06-04T18:08:26.000+0200}, address = {Sydney, Australia}, author = {Almeida, J.J. and Barbosa, L.S. and Neves, F.L. and Oliveira, J.N.}, biburl = {https://www.bibsonomy.org/bibtex/28ec4d9c97d69cfd6b7c777911876a386/jjoao}, booktitle = {6th International Conference on Algebraic Methods and Software Technology ({AMAST'97})}, editor = {Johnson, M.}, interhash = {b86ad43dbd9ca32dba66bbbeb1490836}, intrahash = {8ec4d9c97d69cfd6b7c777911876a386}, keywords = {Camila Formal_Specification}, month = {December}, pages = {554--559}, publisher = {Springer Lect. Notes Comp. Sci. (1349)}, timestamp = {2008-06-05T10:03:18.000+0200}, title = {\textsc{Camila}: Prototyping and Refinement of Constructive Specifications}, year = 1997 }