%0 Conference Paper %1 conf/ifipTCS/BrenasES14 %A Brenas, Jon Haël %A Echahed, Rachid %A Strecker, Martin %B IFIP TCS %D 2014 %E Díaz, Josep %E Lanese, Ivan %E Sangiorgi, Davide %I Springer %K dblp %P 164-178 %T A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. %U http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2014.html#BrenasES14 %V 8705 %@ 978-3-662-44601-0

@inproceedings{conf/ifipTCS/BrenasES14, added-at = {2018-12-23T00:00:00.000+0100}, author = {Brenas, Jon Haël and Echahed, Rachid and Strecker, Martin}, biburl = {https://www.bibsonomy.org/bibtex/254b63a063927d5df13a7f4353eb8c2df/dblp}, booktitle = {IFIP TCS}, crossref = {conf/ifipTCS/2014}, editor = {Díaz, Josep and Lanese, Ivan and Sangiorgi, Davide}, ee = {https://doi.org/10.1007/978-3-662-44602-7_14}, interhash = {b8a269ceb0d4137f9705169ffd35c59d}, intrahash = {54b63a063927d5df13a7f4353eb8c2df}, isbn = {978-3-662-44601-0}, keywords = {dblp}, pages = {164-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:21:17.000+0200}, title = {A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.}, url = {http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2014.html#BrenasES14}, volume = 8705, year = 2014 }