author : Abdolbaghi Rezazadeh

Short works

• Some guidelines for formal development of web-based applications in the B-Method. 2005. (In ZB 2005 )