| [1] | Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh. Formal Methods for Software Engineering - Languages, Methods, Application Domains. Texts in Theoretical Computer Science. An EATCS Series. Springer, 2022. [ bib | DOI | www: | Abstract ] |
This file was generated by bibtex2html 1.97.