%0 Conference Paper %1 conf/scse/LinHZS15 %A Lin, Lan %A He, Jia %A Zhang, Yong %A Song, Fengguang %B SCSE %D 2015 %I Elsevier %K dblp %P 257-265 %T Quality Assurance through Rigorous Software Specification and Testing: A Case Study. %U http://dblp.uni-trier.de/db/conf/scse/scse2015.html#LinHZS15 %V 62

@inproceedings{conf/scse/LinHZS15, added-at = {2017-05-19T00:00:00.000+0200}, author = {Lin, Lan and He, Jia and Zhang, Yong and Song, Fengguang}, biburl = {https://www.bibsonomy.org/bibtex/2f26f9df7e4ac2dc6006e7fecdca4d132/dblp}, booktitle = {SCSE}, crossref = {conf/scse/2015}, ee = {https://doi.org/10.1016/j.procs.2015.08.448}, interhash = {6a2671409c52cd01f065c757d2300b3c}, intrahash = {f26f9df7e4ac2dc6006e7fecdca4d132}, keywords = {dblp}, pages = {257-265}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2019-07-31T11:37:12.000+0200}, title = {Quality Assurance through Rigorous Software Specification and Testing: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/scse/scse2015.html#LinHZS15}, volume = 62, year = 2015 }