%0 Journal Article %1 journals/sttt/DimovskiL07 %A Dimovski, Aleksandar %A Lazic, Ranko %D 2007 %J Int. J. Softw. Tools Technol. Transf. %K %N 1 %P 37-51 %T Compositional software verification based on game semantics and process algebra. %U http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#DimovskiL07 %V 9

@article{journals/sttt/DimovskiL07, added-at = {2023-12-14T16:12:13.000+0100}, author = {Dimovski, Aleksandar and Lazic, Ranko}, biburl = {https://www.bibsonomy.org/bibtex/293b3654aead2fab198ce5d766766fae0/admin}, ee = {https://doi.org/10.1007/s10009-006-0005-y}, interhash = {f4d888f8e115aca8bfee7d56f4e09936}, intrahash = {93b3654aead2fab198ce5d766766fae0}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 1, pages = {37-51}, timestamp = {2023-12-14T16:12:13.000+0100}, title = {Compositional software verification based on game semantics and process algebra.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#DimovskiL07}, volume = 9, year = 2007 }