%0 Journal Article %1 journals/spe/CookSS15 %A Cook, Charles T. %A Sun, Yu-Shan %A Sitaraman, Murali %D 2015 %J Softw. Pract. Exp. %K dblp %N 6 %P 857-872 %T Experience report: evolution of a web-integrated software development and verification environment. %U http://dblp.uni-trier.de/db/journals/spe/spe45.html#CookSS15 %V 45

@article{journals/spe/CookSS15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Cook, Charles T. and Sun, Yu-Shan and Sitaraman, Murali}, biburl = {https://www.bibsonomy.org/bibtex/258788bef141b6e5ad9137c0a94c29584/dblp}, ee = {https://doi.org/10.1002/spe.2259}, interhash = {6051b43f5e02ce68c27409a8cf2ea29f}, intrahash = {58788bef141b6e5ad9137c0a94c29584}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 6, pages = {857-872}, timestamp = {2024-04-09T06:39:57.000+0200}, title = {Experience report: evolution of a web-integrated software development and verification environment.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe45.html#CookSS15}, volume = 45, year = 2015 }