%0 Conference Paper %1 conf/models/Kanav18 %A Kanav, Sudeep %B MoDELS (Companion) %D 2018 %E Babur, Önder %E Strüber, Daniel %E Abrahão, Silvia %E Burgueño, Loli %E Gogolla, Martin %E Greenyer, Joel %E Kokaly, Sahar %E Kolovos, Dimitris S. %E Mayerhofer, Tanja %E Zahedi, Mansooreh %I ACM %K dblp %P 150-155 %T A modular approach to integrate verification tools in model based development. %U http://dblp.uni-trier.de/db/conf/models/models2018c.html#Kanav18

@inproceedings{conf/models/Kanav18, added-at = {2022-02-23T00:00:00.000+0100}, author = {Kanav, Sudeep}, biburl = {https://www.bibsonomy.org/bibtex/2877cab6231482fa1a4ef77ab6e23951a/dblp}, booktitle = {MoDELS (Companion)}, crossref = {conf/models/2018c}, editor = {Babur, Önder and Strüber, Daniel and Abrahão, Silvia and Burgueño, Loli and Gogolla, Martin and Greenyer, Joel and Kokaly, Sahar and Kolovos, Dimitris S. and Mayerhofer, Tanja and Zahedi, Mansooreh}, ee = {https://doi.org/10.1145/3270112.3275334}, interhash = {5497a8b575ba46787428516d0d38eda1}, intrahash = {877cab6231482fa1a4ef77ab6e23951a}, keywords = {dblp}, pages = {150-155}, publisher = {ACM}, timestamp = {2024-04-09T22:00:21.000+0200}, title = {A modular approach to integrate verification tools in model based development.}, url = {http://dblp.uni-trier.de/db/conf/models/models2018c.html#Kanav18}, year = 2018 }