%0 Journal Article %1 journals/sigsoft/SirokyPY15 %A Siroky, Stuart %A Podorozhny, Rodion M. %A Yang, Guowei %D 2015 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 1-4 %T Verification of Architectural Constraints on Sequences of Method Invocations. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#SirokyPY15 %V 40

@article{journals/sigsoft/SirokyPY15, added-at = {2022-06-19T00:00:00.000+0200}, author = {Siroky, Stuart and Podorozhny, Rodion M. and Yang, Guowei}, biburl = {https://www.bibsonomy.org/bibtex/29e9640e8e8f68de8aedad254f5a3daeb/dblp}, ee = {https://doi.org/10.1145/2693208.2693246}, interhash = {2b4da31a49216944d804112b07d573d3}, intrahash = {9e9640e8e8f68de8aedad254f5a3daeb}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 1, pages = {1-4}, timestamp = {2024-04-08T18:56:58.000+0200}, title = {Verification of Architectural Constraints on Sequences of Method Invocations.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft40.html#SirokyPY15}, volume = 40, year = 2015 }