![](/img/cover-not-exists.png)
[IEEE 2014 International Conference for Convergence of Technology (I2CT) - Pune, India (2014.4.6-2014.4.8)] International Conference for Convergence for Technology-2014 - Specification of e-Health system using Z: A motivation to formal methods
Azeem, Muhammad Waqar, Ahsan, Muhammad, Minhas, Nasir Mehmood, Noreen, KhadijaYear:
2014
Language:
english
DOI:
10.1109/I2CT.2014.7092123
File:
PDF, 331 KB
english, 2014