%0 Conference Paper %1 conf/icfem/LiuNCGM05 %A Liu, Shaoying %A Nagoya, Fumiko %A Chen, Yuting %A Goya, Masashi %A McDermid, John A. %B ICFEM %D 2005 %E Lau, Kung-Kiu %E Banach, Richard %I Springer %K dblp %P 421-434 %T An Automated Approach to Specification-Based Program Inspection. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2005.html#LiuNCGM05 %V 3785 %@ 3-540-29797-9

@inproceedings{conf/icfem/LiuNCGM05, added-at = {2023-01-30T00:00:00.000+0100}, author = {Liu, Shaoying and Nagoya, Fumiko and Chen, Yuting and Goya, Masashi and McDermid, John A.}, biburl = {https://www.bibsonomy.org/bibtex/28c7d0d7cc47e9888509dc257711c1c59/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2005}, editor = {Lau, Kung-Kiu and Banach, Richard}, ee = {https://doi.org/10.1007/11576280_29}, interhash = {79b593971646adf4909aa3b56b8c9bf7}, intrahash = {8c7d0d7cc47e9888509dc257711c1c59}, isbn = {3-540-29797-9}, keywords = {dblp}, pages = {421-434}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:16:36.000+0200}, title = {An Automated Approach to Specification-Based Program Inspection.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2005.html#LiuNCGM05}, volume = 3785, year = 2005 }