%0 Journal Article %1 journals/itpro/MargariaK20 %A Margaria, Tiziana %A Kiniry, Joseph %D 2020 %J IT Prof. %K dblp %N 1 %P 9-12 %T Welcome to Formal Methods in Industry. %U http://dblp.uni-trier.de/db/journals/itpro/itpro22.html#MargariaK20 %V 22

@article{journals/itpro/MargariaK20, added-at = {2020-03-12T00:00:00.000+0100}, author = {Margaria, Tiziana and Kiniry, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/293b35106ad458158a6f0fe419e91c944/dblp}, ee = {https://doi.org/10.1109/MITP.2020.2968715}, interhash = {f3be7ea679c35a7eff24c7ed51623c67}, intrahash = {93b35106ad458158a6f0fe419e91c944}, journal = {IT Prof.}, keywords = {dblp}, number = 1, pages = {9-12}, timestamp = {2020-03-13T11:47:47.000+0100}, title = {Welcome to Formal Methods in Industry.}, url = {http://dblp.uni-trier.de/db/journals/itpro/itpro22.html#MargariaK20}, volume = 22, year = 2020 }