%0 Journal Article %1 journals/stvr/YehY94 %A Yeh, Wei Jen %A Young, Michal %D 1994 %J Softw. Test. Verification Reliab. %K dblp %N 4 %P 223-253 %T Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study. %U http://dblp.uni-trier.de/db/journals/stvr/stvr4.html#YehY94 %V 4

@article{journals/stvr/YehY94, added-at = {2022-06-23T00:00:00.000+0200}, author = {Yeh, Wei Jen and Young, Michal}, biburl = {https://www.bibsonomy.org/bibtex/29952b331eee1f9a8919b6a2754dba27b/dblp}, ee = {https://doi.org/10.1002/stvr.4370040404}, interhash = {6322a9fcb92b81905f573bd4b701ca3f}, intrahash = {9952b331eee1f9a8919b6a2754dba27b}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 4, pages = {223-253}, timestamp = {2024-04-09T07:36:46.000+0200}, title = {Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr4.html#YehY94}, volume = 4, year = 1994 }