@misc{indiciae53b7871d8274,
  title = {Verification of Concurrent Engineering Software Using CSM Models},
  author = {Jerzy Mieścicki and Mikołaj Baszun and Wiktor B. Daszczuk and Bogdan D. Czejdo},
  year = {2017},
  url = {https://arxiv.org/abs/1704.06351},
  note = {Source identifier: 1704.06351}
}