%0 Conference Paper %1 conf/ijcnn/GriloL18 %A Grilo, Erick Simas %A Lopes, Bruno %B IJCNN %D 2018 %I IEEE %K dblp %P 1-8 %T Formalization and Certification of Software for Smart Cities. %U http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2018.html#GriloL18 %@ 978-1-5090-6014-6

@inproceedings{conf/ijcnn/GriloL18, added-at = {2020-08-30T00:00:00.000+0200}, author = {Grilo, Erick Simas and Lopes, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/29eb382e8421a7507bb03486d2e52bf07/dblp}, booktitle = {IJCNN}, crossref = {conf/ijcnn/2018}, ee = {https://doi.org/10.1109/IJCNN.2018.8489371}, interhash = {021d451a0dc8dc9fa9f80a3960beff90}, intrahash = {9eb382e8421a7507bb03486d2e52bf07}, isbn = {978-1-5090-6014-6}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2020-08-31T11:45:12.000+0200}, title = {Formalization and Certification of Software for Smart Cities.}, url = {http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2018.html#GriloL18}, year = 2018 }