Translation of Z specifications to executable code: Application to the database domain

• Saeed Khalafinejad ^[2] ; Seyed-Hassan Mirian-Hosseinabadi ^[1]
  1. [1] Sharif University of Technology

     Sharif University of Technology

     Irán

     
  2. [2] School of Engineering and Science, Sharif University of Technology-International Campus, Kish Island, Iran
• Localización: Information and software technology, ISSN 0950-5849, Vol. 55, Nº 6, 2013, págs. 1017-1044
• Idioma: inglés
• Enlaces
  • Texto Completo Ejemplar