%0 Conference Paper %1 conf/kbse/MaezawaWTH13 %A Maezawa, Yuta %A Washizaki, Hironori %A Tanabe, Yoshinori %A Honiden, Shinichi %B ASE %D 2013 %E Denney, Ewen %E Bultan, Tevfik %E Zeller, Andreas %I IEEE %K dblp %P 158-168 %T Automated verification of pattern-based interaction invariants in Ajax applications. %U http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#MaezawaWTH13

@inproceedings{conf/kbse/MaezawaWTH13, added-at = {2014-01-16T00:00:00.000+0100}, author = {Maezawa, Yuta and Washizaki, Hironori and Tanabe, Yoshinori and Honiden, Shinichi}, biburl = {https://www.bibsonomy.org/bibtex/299d61534f30271c3d0fa5935d811ef93/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2013}, editor = {Denney, Ewen and Bultan, Tevfik and Zeller, Andreas}, ee = {http://dx.doi.org/10.1109/ASE.2013.6693076}, interhash = {0d1c94be38b9247ace08873108f3e7e8}, intrahash = {99d61534f30271c3d0fa5935d811ef93}, keywords = {dblp}, pages = {158-168}, publisher = {IEEE}, timestamp = {2015-04-28T10:03:18.000+0200}, title = {Automated verification of pattern-based interaction invariants in Ajax applications.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#MaezawaWTH13}, year = 2013 }