Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/modelsward/Dierkes14
@inproceedings{DBLP:conf/modelsward/Dierkes14, author = {Michael Dierkes}, editor = {Lu{\'{\i}}s Ferreira Pires and Slimane Hammoudi and Joaquim Filipe and Rui C{\'{e}}sar das Neves}, title = {Combining Test and Proof in {MBAT} - An Aerospace Case Study}, booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014}, pages = {636--644}, publisher = {SciTePress}, year = {2014}, url = {https://doi.org/10.5220/0004874906360644}, doi = {10.5220/0004874906360644}, timestamp = {Wed, 11 Aug 2021 17:02:31 +0200}, biburl = {https://dblp.org/rec/conf/modelsward/Dierkes14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.