Calculational Proofs in Relational Graphical Linear Algebra (bibtex)

by João Paixão and Paweł Sobociński

Reference:

João Paixão and Paweł Sobociński, Calculational Proofs in Relational Graphical Linear Algebra, In Formal Methods: Foundations and Applications – 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Gabriela Carvalho, Volker Stolz, eds.), Springer, vol. 12475, pp. 83–100, 2020.

Bibtex Entry:

@InProceedings{Paixao2020,
  author    = {Jo{\~{a}}o Paix{\~{a}}o and Pawe{\l} Soboci{\'{n}}ski},
  title     = {Calculational Proofs in Relational Graphical Linear Algebra},
  booktitle = {Formal Methods: Foundations and Applications -- 23rd Brazilian Symposium, {SBMF} 2020, Ouro Preto, Brazil, November 25--27, 2020, Proceedings},
  editor    = {Gabriela Carvalho and Volker Stolz},
  series    = {Lecture Notes in Computer Science},
  volume    = {12475},
  pages     = {83--100},
  publisher = {Springer},
  year      = {2020},
  doi       = {10.1007/978-3-030-63882-5\_6},
  url       = {https://doi.org/10.1007/978-3-030-63882-5\_6},
}