%0 Conference Paper %1 conf/icse/TaharaOH17 %A Tahara, Yasuyuki %A Ohsuga, Akihiko %A Honiden, Shinichi %B SEAMS@ICSE %D 2017 %I IEEE Computer Society %K dblp %P 152-162 %T Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. %U http://dblp.uni-trier.de/db/conf/icse/seams2017.html#TaharaOH17 %@ 978-1-5386-1550-8

@inproceedings{conf/icse/TaharaOH17, added-at = {2017-07-17T00:00:00.000+0200}, author = {Tahara, Yasuyuki and Ohsuga, Akihiko and Honiden, Shinichi}, biburl = {https://www.bibsonomy.org/bibtex/254ce6d1b7e679d0385fe54c2fd9b9d5e/dblp}, booktitle = {SEAMS@ICSE}, crossref = {conf/icse/2017seams}, ee = {https://doi.org/10.1109/SEAMS.2017.4}, interhash = {1defdbc2a9782c1be54ab9cd765f5949}, intrahash = {54ce6d1b7e679d0385fe54c2fd9b9d5e}, isbn = {978-1-5386-1550-8}, keywords = {dblp}, pages = {152-162}, publisher = {IEEE Computer Society}, timestamp = {2017-07-18T11:41:44.000+0200}, title = {Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects.}, url = {http://dblp.uni-trier.de/db/conf/icse/seams2017.html#TaharaOH17}, year = 2017 }