J. I. Siddiqi
2 published titles
BCS-FACS Workshop on Formal Aspects of the Human Computer Interface : proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10-12 Septemb
(Contributor)
1 edition
- ISBN: 9783540761051
- Springer
- 1997
- Details
Formal methods : state of the art and new directions
(Contributor)
1 edition
- ISBN: 9781848827363
- Springer
- 2010
- Details