Hamid Razavi

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Mohammad Reza Nami, Hamid Razavi, Milad Saeedi, Navid Shahidi
Investigating a new formal model for a library system using B method. ACM SIGSOFT Softw. Eng. Notes 34 (4) (2009)