%0 Conference Paper %1 Gis99 %A Rocha, Jorge %A Silva, Ana %A Henriques, Ricardo %A Almeida, J.J. %A Henriques, Pedro %B Conferência da Association of Geographic Information Laboratories for Europe (AGILE) %C Roma %D 1999 %K GIS %T Formal Methods for GI Systems Development

@inproceedings{Gis99, added-at = {2008-06-04T18:08:26.000+0200}, address = {Roma}, author = {Rocha, Jorge and Silva, Ana and Henriques, Ricardo and Almeida, J.J. and Henriques, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/21236af138662a779dbb906ce82393a8b/jjoao}, booktitle = {Conferência da Association of Geographic Information Laboratories for Europe (AGILE)}, interhash = {0f33738f3829693dca34eb5d81e4e7be}, intrahash = {1236af138662a779dbb906ce82393a8b}, keywords = {GIS}, timestamp = {2008-06-04T18:08:34.000+0200}, title = {Formal Methods for {GI} Systems Development}, year = 1999 }