Ahmed Patel. Formal methods, techniques and tools for secure and reliable applications. Computer Standards & Interfaces, 27(5):439-443, 2005. [doi]
@article{Patel05:2, title = {Formal methods, techniques and tools for secure and reliable applications}, author = {Ahmed Patel}, year = {2005}, doi = {10.1016/j.csi.2005.01.002}, url = {http://dx.doi.org/10.1016/j.csi.2005.01.002}, researchr = {https://researchr.org/publication/Patel05%3A2}, cites = {0}, citedby = {0}, journal = {Computer Standards & Interfaces}, volume = {27}, number = {5}, pages = {439-443}, }