%0 Report %1 BA97a %A Barbosa, L.S. %A Almeida, J.J. %D 1998 %K Camila Formal_Specification Prototyping %N DI-CAM-95:11:1:v98 %T Systems Prototyping in Camila

@techreport{BA97a, added-at = {2008-06-04T18:08:26.000+0200}, author = {Barbosa, L.S. and Almeida, J.J.}, biburl = {https://www.bibsonomy.org/bibtex/2a813dbe2e1ad2418e89af7c8c137b3bd/jjoao}, institution = {DI (U. Minho)}, interhash = {c570ff9eeb923a9f8658f61ac054067c}, intrahash = {a813dbe2e1ad2418e89af7c8c137b3bd}, keywords = {Camila Formal_Specification Prototyping}, number = {DI-CAM-95:11:1:v98}, timestamp = {2008-06-05T10:03:18.000+0200}, title = {Systems Prototyping in \textsc{Camila}}, type = {{Lecture Notes for the Bristol Course (1st ed. 1995)}}, year = 1998 }