%0 Journal Article %1 journals/tsi/GobertC08 %A Gobert, Francois %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 = {2012-11-07T00:00:00.000+0100}, author = {Gobert, Francois and Charlier, Baudouin Le}, biburl = {https://www.bibsonomy.org/bibtex/212b5eb36056bd37af2f4a26c02bcb9da/dblp}, ee = {http://dx.doi.org/10.3166/tsi.27.1033-1064}, interhash = {6a5c7b6e51c2a3fdc79ce90998b81e34}, intrahash = {12b5eb36056bd37af2f4a26c02bcb9da}, journal = {Technique et Science Informatiques}, keywords = {dblp}, number = 8, pages = {1033-1064}, timestamp = {2012-11-08T11:48:19.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 }