%0 Conference Paper %1 conf/icfem/DimovskiL06 %A Dimovski, Aleksandar %A Lazic, Ranko %B ICFEM %D 2006 %E Liu, Zhiming %E He, Jifeng %I Springer %K %P 529-548 %T Assume-Guarantee Software Verification Based on Game Semantics. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2006.html#DimovskiL06 %V 4260 %@ 3-540-47460-9

@inproceedings{conf/icfem/DimovskiL06, added-at = {2023-12-13T03:07:16.000+0100}, author = {Dimovski, Aleksandar and Lazic, Ranko}, biburl = {https://www.bibsonomy.org/bibtex/261b2c4d08abe0d5f681e8b6a27d2978b/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2006}, editor = {Liu, Zhiming and He, Jifeng}, ee = {https://doi.org/10.1007/11901433_29}, interhash = {87ba4bd8f0b70e0c8ff4490c1b9f2785}, intrahash = {61b2c4d08abe0d5f681e8b6a27d2978b}, isbn = {3-540-47460-9}, keywords = {}, pages = {529-548}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:07:16.000+0100}, title = {Assume-Guarantee Software Verification Based on Game Semantics.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2006.html#DimovskiL06}, volume = 4260, year = 2006 }