%0 Journal Article %1 journals/scp/AlpuenteJKR13 %A Alpuente, María %A Joubert, Christophe %A Kowalewski, Stefan %A Roveri, Marco %D 2013 %J Sci. Comput. Program. %K %N 7 %P 775-777 %T Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). %U http://dblp.uni-trier.de/db/journals/scp/scp78.html#AlpuenteJKR13 %V 78

@article{journals/scp/AlpuenteJKR13, added-at = {2023-12-12T21:26:30.000+0100}, author = {Alpuente, María and Joubert, Christophe and Kowalewski, Stefan and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/257bbb29ff871f167127b14b03d35c67a/admin}, ee = {https://www.wikidata.org/entity/Q57978135}, interhash = {3e3ab58b9ba63456b893ea5118b93ec5}, intrahash = {57bbb29ff871f167127b14b03d35c67a}, journal = {Sci. Comput. Program.}, keywords = {}, number = 7, pages = {775-777}, timestamp = {2023-12-12T21:26:30.000+0100}, title = {Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).}, url = {http://dblp.uni-trier.de/db/journals/scp/scp78.html#AlpuenteJKR13}, volume = 78, year = 2013 }