%0 Conference Paper %1 conf/sfm/BertolinoIM03 %A Bertolino, Antonia %A Inverardi, Paola %A Muccini, Henry %B SFM %D 2003 %E Bernardo, Marco %E Inverardi, Paola %I Springer %K dblp %P 122-147 %T Formal Methods in Testing Software Architectures. %U http://dblp.uni-trier.de/db/conf/sfm/sfm2003.html#BertolinoIM03 %V 2804 %@ 3-540-20083-5

@inproceedings{conf/sfm/BertolinoIM03, added-at = {2024-02-05T00:00:00.000+0100}, author = {Bertolino, Antonia and Inverardi, Paola and Muccini, Henry}, biburl = {https://www.bibsonomy.org/bibtex/212fc59985be6f1e9e23d177793531065/dblp}, booktitle = {SFM}, crossref = {conf/sfm/2003}, editor = {Bernardo, Marco and Inverardi, Paola}, ee = {https://doi.org/10.1007/978-3-540-39800-4_7}, interhash = {5eeae54ef959207aa82e44971801accb}, intrahash = {12fc59985be6f1e9e23d177793531065}, isbn = {3-540-20083-5}, keywords = {dblp}, pages = {122-147}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:39:22.000+0200}, title = {Formal Methods in Testing Software Architectures.}, url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2003.html#BertolinoIM03}, volume = 2804, year = 2003 }