Formal Methods in Testing Software Architectures
- Post by:
- December 6, 2024
- Comments off
by Antonia Bertolino, Paola Inverardi and Henry Muccini
Reference:
Formal Methods in Testing Software Architectures (Antonia Bertolino, Paola Inverardi and Henry Muccini), In Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures (Marco Bernardo, Paola Inverardi, eds.), Springer, volume 2804, 2003.
Bibtex Entry:
@inproceedings{DBLP:conf/sfm/BertolinoIM03, author = {Antonia Bertolino and Paola Inverardi and Henry Muccini}, editor = {Marco Bernardo and Paola Inverardi}, title = {Formal Methods in Testing Software Architectures}, booktitle = {Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {2804}, pages = {122--147}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39800-4_7}, doi = {10.1007/978-3-540-39800-4_7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sfm/BertolinoIM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
Categories: