Sukhamay Kundu. Structuring Software Functional Requirements For Automated Design And Verification. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China. pages 127-136, IEEE Computer Society, 2007. [doi]
@inproceedings{Kundu07, title = {Structuring Software Functional Requirements For Automated Design And Verification}, author = {Sukhamay Kundu}, year = {2007}, doi = {10.1109/COMPSAC.2007.204}, url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.204}, tags = {design}, researchr = {https://researchr.org/publication/Kundu07}, cites = {0}, citedby = {0}, pages = {127-136}, booktitle = {31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-2870-0}, }