%0 Conference Paper %1 conf/amast/BumbulisACL95 %A Bumbulis, Peter %A Alencar, Paulo S. C. %A Cowan, Donald D. %A de Lucena, Carlos José Pereira %B AMAST %D 1995 %E Alagar, Vangalur S. %E Nivat, Maurice %I Springer %K dblp %P 461-474 %T A Framework for Machine-Assisted User Interface Verification. %U http://dblp.uni-trier.de/db/conf/amast/amast95.html#BumbulisACL95 %V 936 %@ 3-540-60043-4

@inproceedings{conf/amast/BumbulisACL95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Bumbulis, Peter and Alencar, Paulo S. C. and Cowan, Donald D. and de Lucena, Carlos José Pereira}, biburl = {https://www.bibsonomy.org/bibtex/2c5efd8d42c342d789dd7697e63541f59/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1995}, editor = {Alagar, Vangalur S. and Nivat, Maurice}, ee = {https://doi.org/10.1007/3-540-60043-4_71}, interhash = {1480bef9b8e0dbb374a4797fced57b03}, intrahash = {c5efd8d42c342d789dd7697e63541f59}, isbn = {3-540-60043-4}, keywords = {dblp}, pages = {461-474}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:24:58.000+0200}, title = {A Framework for Machine-Assisted User Interface Verification.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast95.html#BumbulisACL95}, volume = 936, year = 1995 }