Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022

Ali Kemal Uncu, Haniel Barbosa, editors, Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022. Volume 3458 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

Conference: scsquare2023

@proceedings{scsquare-2022,
  title = {Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022},
  year = {2023},
  url = {https://nbn-resolving.org/urn:nbn:de:0074-3458-5},
  researchr = {https://researchr.org/publication/scsquare-2022},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022},
  conference = {scsquare},
  editor = {Ali Kemal Uncu and Haniel Barbosa},
  volume = {3458},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}