%0 Journal Article %1 journals/tsi/GobertC08 %A Gobert, Francçois %A Charlier, Baudouin Le %D 2008 %J Technique et Science Informatiques %K dblp %N 8 %P 1033-1064 %T Un système vérifiant des propriétés opérationnelles de programmes logiques. %U http://dblp.uni-trier.de/db/journals/tsi/tsi27.html#GobertC08 %V 27

@article{journals/tsi/GobertC08, added-at = {2017-03-23T00:00:00.000+0100}, author = {Gobert, Francçois and Charlier, Baudouin Le}, biburl = {https://www.bibsonomy.org/bibtex/24fffc624ced5269d4a7e3a659b54d2b9/dblp}, ee = {http://dx.doi.org/10.3166/tsi.27.1033-1064}, interhash = {6a5c7b6e51c2a3fdc79ce90998b81e34}, intrahash = {4fffc624ced5269d4a7e3a659b54d2b9}, journal = {Technique et Science Informatiques}, keywords = {dblp}, number = 8, pages = {1033-1064}, timestamp = {2017-03-24T11:34:57.000+0100}, title = {Un système vérifiant des propriétés opérationnelles de programmes logiques.}, url = {http://dblp.uni-trier.de/db/journals/tsi/tsi27.html#GobertC08}, volume = 27, year = 2008 }