@article { author = {Miri Hussein Abadi, Hassan and Jalali, Arash}, title = {Environmental programs for the production of formal Tvsyq}, journal = {Sharif Journal of Industrial Engineering & Management}, volume = {دوره 19}, number = {25 - ویژه علوم و مهندسی}, pages = {42-53}, year = {2003}, publisher = {Sharif University of Technology}, issn = {2676-4741}, eissn = {2676-475X}, doi = {}, abstract = {-}, keywords = {-}, title_fa = {محیطی برای تولید برنامه از توصیق صوری}, abstract_fa = {-}, keywords_fa = {-}, url = {https://sjie.journals.sharif.edu/article_4809.html}, eprint = {https://sjie.journals.sharif.edu/article_4809_b3a37107e0a7f155f1d25f8038731285.pdf} }