%0 Conference Paper %1 conf/icfem/NunesLVAR06 %A Nunes, Isabel %A Lopes, Antónia %A Vasconcelos, Vasco Thudichum %A Abreu, João %A Reis, Luís S. %B ICFEM %D 2006 %E Liu, Zhiming %E He, Jifeng %I Springer %K dblp %P 494-513 %T Checking the Conformance of Java Classes Against Algebraic Specifications. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2006.html#NunesLVAR06 %V 4260 %@ 3-540-47460-9

@inproceedings{conf/icfem/NunesLVAR06, added-at = {2017-05-21T00:00:00.000+0200}, author = {Nunes, Isabel and Lopes, Antónia and Vasconcelos, Vasco Thudichum and Abreu, João and Reis, Luís S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23d2e33e8ed177aa12292d1197a2a51f5/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2006}, editor = {Liu, Zhiming and He, Jifeng}, ee = {https://doi.org/10.1007/11901433_27}, interhash = {442eeee80967bd80cb6d9b24b88160d0}, intrahash = {3d2e33e8ed177aa12292d1197a2a51f5}, isbn = {3-540-47460-9}, keywords = {dblp}, pages = {494-513}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:49:07.000+0200}, title = {Checking the Conformance of Java Classes Against Algebraic Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2006.html#NunesLVAR06}, volume = 4260, year = 2006 }